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...

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for ... Read More

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques. Read Less

• All from $16.50
• New Books from $51.65
• Used Books from $80.09
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Aug 15, 2024) 60 Day Rental: $22.00 (Expires Sep 14, 2024) 90 Day Rental: $27.50 (Expires Oct 14, 2024) 120 Day Rental: $33.00 (Expires Nov 13, 2024) 180 Day Rental: $35.75 (Expires Jan 12, 2025) Buy eBook Lifetime Access: $54.99 Title: Critical Systems: Formal Methods and Automated Verification Publisher: Springer Nature Print ISBN: 9783319671123, 331967112X eText ISBN: 9783319671130 Edition: 2017 2017 edition Format: EPUB eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ