Formal Methods for Industrial Critical Systems
Springer Nature Switzerland AG, 2019
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
- ISBN-13
- 9783030270070
- ISBN-10
- 3030270076
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-07-25
- Pages
- 161
- Dimensions
- 235x155x