Formal Methods for Industrial Critical Systems
Subtitle: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Publisher: Springer
Published: Aug 20, 2014
Format: paperback
Number of pages: 215
ISBN-13: 9783319107011
Notes: Source title: Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science (8718))