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!