Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 9-10, 2024, Proceedings
Marmsoler, Diego, Sun, Meng
- 出版商: Springer
- 出版日期: 2024-09-08
- 售價: $2,380
- 貴賓價: 9.5 折 $2,261
- 語言: 英文
- 頁數: 147
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031712609
- ISBN-13: 9783031712609
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024.
The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
商品描述(中文翻譯)
本書是第20屆國際元件軟體正式方面會議（FACS 2024）的經過審核的會議論文集，會議於2024年9月9日至10日在義大利米蘭舉行。本書收錄的7篇完整論文和1篇短文是從16篇投稿中仔細審核和選出的。這些論文依主題分為以下幾個部分：驗證與測試、形式模型，以及安全性與區塊鏈。
