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. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.
The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.
| ISBN: | 9783030852474 |
| Publication date: | 10th August 2021 |
| Author: | Alberto Lluch Lafuente |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 249 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Compilers and interpreters Computer hardware Mathematical theory of computation Artificial intelligence |
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. The conference was planned to take place in Pairs, France.
Formal Methods for Industrial Critical Systems features in the following genres: Compilers and interpreters, Computer hardware, Mathematical theory of computation, Artificial intelligence
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Formal Methods for Industrial Critical Systems was written by Alberto Lluch Lafuente and published by Springer Nature Switzerland AG
Formal Methods for Industrial Critical Systems has 249 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.