Formal Techniques for Safety-Critical Systems
Subtitle: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Publisher: Springer
Published: 2016
Language: eng
ISBN-13: 9783319295107
Subjects: Systems engineering