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日，會議論文集

Name: Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11, 2024, Proceedings
Price: 2375 TWD
Availability: OnlineOnly
Author: Haxthausen, Anne E., Serwe, Wendelin
ISBN: 3031681495

Haxthausen, Anne E., Serwe, Wendelin

出版商: Springer
出版日期: 2024-08-21
售價: $2,500
貴賓價: 9.5 折 $2,375
語言: 英文
頁數: 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.