Formal Techniques for Safety-Critical Systems (FTSCS 2016)

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FTSCS (VerfasserIn)
Weitere Verfasser:	Artho, Cyrille (HerausgeberIn), Csaba Ölveczky, Peter (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2018-2019
Schriftenreihe:	Science of computer programming volume 163 (1 October 2018) Science of computer programming volume 166 (15 November 2018) Science of computer programming volume 171 (15 February 2019) Science of computer programming volume 175 (15 April 2019)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Beiträge der Tagung erscheinen in verschiedenen Bänden der Zeitschrift Vorwort: a satellite event of the ICFEM conference
Beschreibung:	verschiedene Bände Illustrationen, Diagramme