Veröffentlichungen im Forschungsgebiet:

ISILEIT

Details for GKN02_2_ag

Title: Towards Design Verification and Validation at Multiple Levels of Abstraction
Booktitle: Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada.
Written by: Holger Giese, Martin Kardos, Ulrich A. Nickel:
in: August 2002
Volume: Number:
on pages:
Chapter:
Editor:
Publisher:
Series:
Address:
Edition:
ISBN:
how published:
Organization:
School:
Institution:
ISSN:
Doi:
File: DIPES02.pdf
URL:

Note:

Abstract:

Eintrag als Bibtex exportieren

Impressum | Webmaster | Letzte Änderungen am : 18.03.2014