Spar
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.
The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions.
- Undertittel
- 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
- Redaktør
- Falk Howar, Jirí Barnat
- Opplag
- 2018 ed.
- ISBN
- 9783030002435
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.8.2018
- Antall sider
- 291
