Formal Techniques for Safety-Critical Systems
Subtitle: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 271
ISBN-13: 9783319295091
Subjects: Systems engineering