Computer safety, reliability, and security 37th international conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SAFECOMP (VerfasserIn)
Weitere Verfasser:	Gallina, Barbara (HerausgeberIn), Skavhaug, Amund (HerausgeberIn), Bitsch, Friedemann (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2018
Schriftenreihe:	Lecture notes in computer science 11093
Schlagworte:	Konferenzschrift > Software > Zuverlässigkeit > Formale Methode
Online Zugang:	Full Text Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XXI, 312 Seiten Illustrationen, Diagramme 156 x 234 x 25 cm
ISBN:	9783319991290 978-3-319-99129-0