Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 2020, Held as Part of the 15th In
暫譯: 分散物件、元件與系統的正式技術：第40屆IFIP WG 6.1國際會議，FORTE 2020，作為第15屆會議的一部分
Gotsman, Alexey, Sokolova, Ana
- 出版商: Springer
- 出版日期: 2020-06-10
- 售價: $2,990
- 貴賓價: 9.5 折 $2,841
- 語言: 英文
- 頁數: 237
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030500853
- ISBN-13: 9783030500856
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.*
The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
*The conference was held virtually due to the COVID-19 pandemic.
Chapter 'Conformance-Based Doping Detection for Cyber-Physical Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
商品描述(中文翻譯)
本書為第40屆IFIP WG 6.1國際會議「分散物件、元件及系統的正式技術」（FORTE 2020）的會議紀錄，該會議於2020年6月在馬爾他瓦萊塔舉行，並作為第15屆國際聯合會議「分散計算技術」（DisCoTec 2020）的一部分。
所呈現的10篇完整論文和1篇短文是從25篇投稿中經過仔細審查和選擇的。該會議專注於分散系統的理論、模型、工具和應用的基礎研究。
*由於COVID-19疫情，會議以虛擬方式舉行。
章節「基於符合性的網路物理系統摻雜檢測」可在link.springer.com上以創用CC 4.0國際授權條款開放存取。
