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

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!
Beschreibung
Beschreibung:Includes bibliographical refernces ans index
Beschreibung:X, 361 S.
graph. Darst.
ISBN:3540709517
3-540-70951-7
9783540709510
978-3-540-70951-0