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.
€57.82
购买此电子书可免费获赠一本！
语言 英语 ● 格式 EPUB ● ISBN 9783030852481 ● 编辑 Alberto Lluch Lafuente & Anastasia Mavridou ● 出版者 Springer International Publishing ● 发布时间 2021 ● 下载 3 时 ● 货币 EUR ● ID 8086013 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
3,678 此类电子书
