Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo
- 出版商: Springer
- 出版日期: 2024-09-11
- 售價: $2,190
- 貴賓價: 9.5 折 $2,081
- 語言: 英文
- 頁數: 680
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031711610
- ISBN-13: 9783031711619
海外代購書籍(需單獨結帳)
相關主題
商品描述
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.
The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:
Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;
Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.
商品描述(中文翻譯)
開放存取書籍集 LNCS 14933 + 14934 是第26屆國際形式方法研討會（FM 2024）的經過審核的會議論文集，該會議於2024年9月在義大利米蘭舉行。
這些會議論文集包含51篇完整論文和4篇短文，這些論文是從219篇投稿中仔細審核和選出的。它們還包括2篇完整長度的邀請演講和10篇教學論文。這些貢獻被組織成以下主題部分：
第一部分：邀請論文；形式驗證的基本原理；基礎；學習與修復；程式語言；邏輯與自動機；
第二部分：工具與案例研究；嵌入式系統專題；產業日專題；教學論文。
