编辑配置文件（在新选项卡中打开） 卡米利、马蒂奥 合著者距离 作者ID： 卡米利·马特奥 发布日期： 卡米利、马蒂奥 已编制索引的文档： 3出版物自2013年以来 合著者： 3位合著者具有3联合出版物 10位合著者 合著者 0 单作者的 三 洛伦佐·卡普拉 2 卡洛·贝莱蒂尼 2 马蒂亚·蒙加 系列 1 离散事件动态系统 字段 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 使用对称网对分散自适应系统进行形式化描述和验证。 Zbl 1480.93259号 卡米利、马蒂奥;洛伦佐·卡普拉 2 2021 用于指定和验证基于微服务的流程流的正式框架。 Zbl 1461.68112号 卡米利、马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;马蒂亚·蒙加 1 2018 使用对称网对分散自适应系统进行形式化描述和验证。 Zbl 1480.93259号 卡米利、马蒂奥;洛伦佐·卡普拉 2 2021 用于指定和验证基于微服务的流程流的正式框架。 Zbl 1461.68112号 卡米利、马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;马蒂亚·蒙加 1 2018 4位作者引用 2 洛伦佐·卡普拉 1 阿米尔·穆罕默德（Amir-Mhammadian，Sepehr） 1 查迪·卡里 1 迈克尔·科勒-布·迈耶 连载1篇 1 理论计算机科学 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文