Data & IT
Pocket
Critical Systems: Formal Methods and Automated Verification
Maurice H Ter Beek • Stefania Gnesi • Alexander Knapp
749:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This book constitutes the refereed proceedings of the Joint 21st International Workshopon 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 andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
- Format: Pocket/Paperback
- ISBN: 9783319459424
- Språk: Engelska
- Antal sidor: 247
- Utgivningsdatum: 2016-09-14
- Förlag: Springer International Publishing AG