Formal techniques for safety-critical systems

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Workshop on Formal Techniques for Safety-Critical Systems (VerfasserIn)
Weitere Verfasser:	Artho, Cyrille (HerausgeberIn), Ölveczky, Peter Csaba (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2015
Schriftenreihe:	Science of computer programming volume 113, part 2 (1 December 2015)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!