Automated technology for verification and analysis 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2008
Schriftenreihe:	Lecture notes in computer science 5311
Schlagworte:	Formale Methode - Verifikation - Model Checking - Kongress - Seoul <2008> Softwareentwicklung - Hardwareentwurf - Verifikation - Model Checking - Kongress - Seoul <2008> Systementwurf - Systemanalyse - Formale Methode - Verifikation - Kongress - Seoul <2008> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Formale Methode - Kongress - Seoul <2008> Zeitbehafteter Automat - Eingebettetes System - Hybrides System - Model Checking - Kongress - Seoul <2008> Automatic theorem proving > Congresses Hybrides System Model Checking Eingebettetes System Hardwareentwurf Softwareentwicklung Verifikation Zeitbehafteter Automat Systemanalyse Formale Methode Systementwurf Konferenzschrift > 2008 > Seoul
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIV, 430 S. 235 mm x 155 mm
ISBN:	354088386X 9783540883869

Ähnliche Einträge