
Tell your friends about this item:
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
Formal Methods for Industrial Critical Systems 1st ed. 2018 edition
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.
291 pages, 79 Illustrations, black and white; XVI, 291 p. 79 illus.
Media | Books Book |
Released | August 30, 2018 |
ISBN13 | 9783030002435 |
Publishers | Springer Nature Switzerland AG |
Pages | 291 |
Dimensions | 435 g |
Language | German |
Editor | Barnat, Jiri |
Editor | Howar, Falk |