Formal Techniques for Safety-Critical Systems
Subtitle: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 297
ISBN-13: 9783319054162