Formal methods for industrial critical systems 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FMICS (BerichterstatterIn)
Weitere Verfasser:	Kowalewski, Stefan (HerausgeberIn), Roveri, Marco (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6371
Schlagworte:	Formal methods (Computer science) > Software engineering > Computer programs > Verification > Reliability > Computer software > Konferenzschrift > Softwareentwicklung > Zuverlässigkeit > Sicherheitskritisches System > Formale Methode > Systementwurf > Model Checking > Verifikation
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!