Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taip… - SLUB Dresden

Medientyp: E-Book; Konferenzbericht
Titel: Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Beteiligte: Wang, Farn [Verfasser:in]
Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004
Erschienen in: Lecture notes in computer science ; 3299
Bücher
Umfang: Online-Ressource
Sprache: Englisch
DOI: 10.1007/b102065
ISBN: 9783540236108
Identifikator:

RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Systementwurf > Formale Methode > Verifikation
Formale Methode > Verifikation > Model Checking
Softwareentwicklung > Hardwareentwurf > Verifikation > Model Checking
Entwurfsautomation > Model Checking
Entstehung:
Anmerkungen:

Nur in Feld suchen: