Spar
Formal Methods for Industrial Critical Systems
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.- Undertittel
- 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
- Redaktør
- Kim Guldstrand Larsen, Tim Willemse
- Opplag
- 2019 ed.
- ISBN
- 9783030270070
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.7.2019
- Antall sider
- 161
