| 書目名稱 | Formal Methods for Industrial Critical Systems |
| 副標(biāo)題 | 27th International C |
| 編輯 | Jan Friso Groote,Marieke Huisman |
| 視頻video | http://file.papertrans.cn/346/345784/345784.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 23:20
發(fā)表于 2025-3-21 17:28:22
