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, Septe
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 330
Ft
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Me...
