zbMATH中的参考文献（参考文献86篇)

1. 德维亚宁，P.N。；Leonova，M.A.：OS Astra Linux特别版访问控制模型的形式化技术，使用Rodin和prob验证event-B形式化方法（2021）
2. 亨尼克，罗尔夫；克纳普，亚历山大；Madeira，Alexandre:基于事件/数据系统的混合动态逻辑机构（2021）
3. 斯坦凯蒂斯，保利乌斯；伊利亚索夫，阿列克谢；小林，津木；阿伊特阿默尔，亚明；石川，福佑子；Romanovsky，Alexander:基于改进的分布式信号系统开发（2021）
4. 维斯特巴卡，因纳；特劳比西纳，埃琳娜：弹性协作多智能体系统建模（2021）
5. 博格，伊贡；Schewe，Klaus Dieter:递归算法的行为理论（2020）
6. Cirstea、Horatiu；格雷尔，亚历克西斯；Méry，Dominique:从event-B模型生成分布式程序（2020）
7. 阿依达拉合伊；哈默勒，拉扎尔；格雷特，穆罕默德；el Ayeb，Béchir:基于事件B的云复合服务验证方法（2020）
8. 卡利斯齐克，塞扎里；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）
9. 小林，津木；石川，福佑子；Honiden，Shinichi:Event-B模型中保持一致性的细化结构重构（2019）
10. 林玉辉；邦迪，艾伦；格罗夫，古德蒙德；Maclean，Ewen：通过波纹和校样修补自动化Event-B不变性证明（2019）
11. Méry，Dominique:通过构建分布式算法进行验证（2019）
12. 范德哈伦，马提亚斯；帕拉莫诺夫，谢尔盖；詹森，格达；Denecker，Marc:图挖掘的知识表示分析（2019）
13. 去推杆，砂光机；Wijs，Anton:行为模型到模型转换的形式验证技术（2018）
14. 车费，伊利；伯大维，让保罗；Filali，Mamoun:过渡系统组合应用到时间自动机的事件代数（2018）
15. 奥拉特，卡洛斯；皮门特尔，伊莱恩；Rueda，Camilo:访问权限的并发约束编程解释（2018）
16. 彭，韩；杜承烈；饶，雷；刘周洲：基于iUML-B模式状态机的嵌入式控制系统建模（2018）
17. Bjørner，《Dines:清单领域：分析和描述》（2017）
18. 达科斯塔卡瓦莱罗，西蒙安德烈；福斯，露西安娜；Ribeiro，Leila:带属性和负应用条件的图文法的定理证明（2017）
19. 德玛西，拉米罗；卡斯特罗，巴勃罗F。；迈鲍姆，托马斯·S·E。；Aguirre，Nazareno:容错仿真关系（2017）
20. 弗朗卡兰扎，阿德里安；丙酮，卢卡；Ingolfsdottir，Anna:Hennessy-Milner逻辑的可监控性（2017）