Automated technology for verification and analysis: second international conference, ATVA 2004, Taip… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings
Enthält: Literaturangaben

Beteiligte: Wang, Farn [Herausgeber:in]
Veranstaltung: ATVA
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2004
Erschienen in: Lecture notes in computer science ; 3299
Umfang: XII, 506 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3540236104
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11339656
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:
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Automated technology for verification and analysis