Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	IFM (BerichterstatterIn)
Weitere Verfasser:	Méry, Dominique (HerausgeberIn), Merz, Stephan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6396
Schlagworte:	Formal methods (Computer science) > Konferenzschrift > Softwareentwicklung > Formale Methode > Systementwicklung > Spezifikationssprache > Verifikation > Model Checking
Online Zugang:	Inhaltsverzeichnis Inhaltstext Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!