Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11, 2024, Proceedings
暫譯: 工業關鍵系統的形式方法：第29屆國際會議 Fmics 2024，義大利米蘭，2024年9月9日至11日，會議論文集
Haxthausen, Anne E., Serwe, Wendelin
- 出版商: Springer
- 出版日期: 2024-08-21
- 售價: $2,780
- 貴賓價: 9.5 折 $2,641
- 語言: 英文
- 頁數: 260
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031681495
- ISBN-13: 9783031681493
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024.
The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.
商品描述(中文翻譯)
本書為第29屆國際工業關鍵系統形式方法會議（FMICS 2024）的會議紀錄，會議於2024年9月9日至13日在義大利米蘭舉行。
本書收錄的14篇完整論文經過仔細審查和選擇，來自22篇投稿。這些論文被組織在以下主題部分：即時系統/機器人技術；語義學與驗證；案例研究；神經網絡。
