Formal Techniques for Safety-Critical Systems
Subtitle: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 257
ISBN-13: 9783319175812
Subjects: Systems engineering