Formal techniques for safety-critical systems fourth international workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers

Bibliographische Detailangaben

Körperschaft:	FTSCS (VerfasserIn)
Weitere Verfasser:	Artho, Cyrille (HerausgeberIn), Ölveczky, Peter Csaba (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Switzerland Springer 2016
Schriftenreihe:	Communications in computer and information science 596
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!