Formal Techniques for Safety-Critical Systems
Subtitle: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Publisher: Springer
Published: Apr 16, 2015
Format: paperback
Number of pages: 268
ISBN-13: 9783319175805
Notes: Source title: Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science)