Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Formal Methods for Industrial Critical Systems
- 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Engelsk Paperback
Formal Methods for Industrial Critical Systems
- 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
249
ISBN-13:
9783030852474
Indbinding:
Paperback
Udgave:
ISBN-10:
3030852474
Udg. Dato:
10 aug 2021
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer Nature Switzerland AG
Oplagsdato:
10 aug 2021
Forfatter(e):
Kategori sammenhænge