Formal Methods for Industrial Critical Systems
Subtitle: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Publisher: Springer
Published: Aug 30, 2018
Format: paperback
Number of pages: 307
ISBN-13: 9783030002435
Notes: Source title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science (11119))