Actions for Critical Systems: Formal Methods and Automated Verification [electronic resource] : 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

Email RIS file
Bookmark
Report an Issue

Critical Systems: Formal Methods and Automated Verification [electronic resource] : 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 / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Physical Description
XVI, 247 pages 89 illustrations : online resource
Additional Creators
Beek, Maurice H. ter, Gnesi, Stefania, 1954-, Knapp, Alexander, and SpringerLink (Online service)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Summary
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Subject(s)
ISBN
9783319459431
Digital File Characteristics
text file PDF
Part Of
Springer eBooks
View MARC record | catkey: 18647696