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

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ATVA (BerichterstatterIn)
Weitere Verfasser:	Cha, Sungdeok (HerausgeberIn), Choi, Jin-Young (BerichterstatterIn), Kim, Moonzoo (BerichterstatterIn), Lee, Insup (BerichterstatterIn), Viswanathan, Mahesh (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 5311
Schlagworte:	Automatic theorem proving > Konferenzschrift > Systementwurf > Systemanalyse > Formale Methode > Verifikation > Model Checking > Softwareentwicklung > Hardwareentwurf > Zeitbehafteter Automat > Eingebettetes System > Hybrides System
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!