Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems Pub Date : 1900-01-01 DOI:10.1007/978-3-030-78089-0

引用次数: 0

查看原文本刊更多论文

分布式对象、组件和系统的形式化技术:第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，DisCoTec 2021，马耳他瓦莱塔，6月14-18日，2021，会议记录

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

自引率

0.00%

发文量