Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	International Workshop on Formal Methods for Industrial Critical Systems (BerichterstatterIn), PDMC (BerichterstatterIn)
Weitere Verfasser:	Brim, Luboš (HerausgeberIn), Haverkort, Boudewijn (BerichterstatterIn), Leucker, Martin (BerichterstatterIn), Pol, Jaco van de (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:	Lecture notes in computer science 4346
Schlagworte:	Formal methods (Computer science) > Software engineering > Computer programs > Verification > Reliability > Computer software > Konferenzschrift > Softwareentwicklung > Zuverlässigkeit > Fehlertoleranz > Formale Methode > Programmverifikation > Softwarespezifikation > Sicherheitskritisches System > Eingebettetes System
Online Zugang:	Inhaltsverzeichnis Cover Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!