| 书目名称 | Formal Methods for Industrial Critical Systems |
| 副标题 | 27th International C |
| 编辑 | Jan Friso Groote,Marieke Huisman |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.. |
| 出版日期 | Conference proceedings 2022 |
| 关键词 | artificial intelligence; automated analysis; autonomous systems; ; case studies and experience reports; c |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-15008-1 |
| isbn_softcover | 978-3-031-15007-4 |
| isbn_ebook | 978-3-031-15008-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 17:28:22
