Formal Techniques for Distributed Objects, Components, and Systems: 46th Ifip Wg 6.1 International Conference, Forte 2026, Held as Part of the 21st In
暫譯: 分散物件、元件與系統的正式技術：第46屆IFIP WG 6.1國際會議，Forte 2026，作為第21屆會議的一部分
Bocchi, Laura, Kulahcioglu Ozkan, Burcu
相關主題
商品描述
This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8-12, 2026.
The 12 full papers, 1 short paper and 2 tool papers included in this book were carefully reviewed and selected from 27 submissions. They focus on fundamental research on theory, models, tools, and applications for distributed system.
商品描述(中文翻譯)
本書為第46屆IFIP WG 6.1國際會議「分散物件、元件及系統的形式技術」（FORTE 2026）的經過審核的會議論文集，會議於2026年6月8日至12日在義大利烏爾比諾舉行，並作為第21屆國際聯合會議「分散計算技術」（DisCoTec 2026）的一部分。
本書收錄的12篇完整論文、1篇短文及2篇工具論文，均經過仔細審核並從27篇投稿中選出。這些論文專注於分散系統的理論、模型、工具及應用的基礎研究。
