Critical Systems : Formal Methods and Automated Verification
Subtitle: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 247
ISBN-13: 9783319459424
Subjects: Computer science