Formal methods for industrial critical systems : 20th international workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 ; proceedings

Formal methods for industrial critical systems 20th international workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FMICS (BerichterstatterIn)
Weitere Verfasser: Núñez, Manuel (BerichterstatterIn), Güdemann, Matthias (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham u.a. Springer 2015
Schriftenreihe:Lecture notes in computer science 9128
Schlagworte:
Konferenzschrift > Sicherheitskritisches System > Formale Methode > Systemanalyse > Systementwurf > Softwareentwicklung > Verifikation
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!