Tell your friends about this item:
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings - Lecture Notes in Computer Science
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.
249 pages, 23 Illustrations, black and white; XII, 249 p. 23 illus.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 10, 2021 |
| ISBN13 | 9783030852474 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 249 |
| Dimensions | 150 × 220 × 10 mm · 409 g |
| Language | German |
| Editor | Lluch Lafuente, Alberto |
| Editor | Mavridou, Anastasia |