Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
- Author
- Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)
- Publisher
- Springer International Publishing
- Language
- English
- Year
- 2017
- Page
- XIV, 235
- ISBN
- 331967112X,9783319671123,3319671138,9783319671130
- File Type
- pdf
- File Size
- 7.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot