zbMATH中的参考文献（参考文献639篇,3标准条款)

1. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
2. 克莱门特，洛伦佐；Lasota，Sławomir:定时下推自动机的可达关系（2021）
3. 曼奇尼，托尼；玛丽，费德里科；马西尼，安娜丽莎；伊戈尔，梅拉蒂；恩里科·特隆奇：关于模拟脚本等价性的检验（2021）
4. 谢婉玲；朱惠标；徐启文：移动系统的过程演算及其形式语义（2021）
5. 阿曼，博格丹；Ciobanu，Gabriel:带定时迁移和定时通信的多智能体系统中的雇佣成本（2020）
6. 巴雷西，L。；伯萨尼，M。M、 。；马可尼，F。；夸特罗奇，G。；Rossi，M.：使用形式验证来评估Spark应用程序的执行时间（2020年）
7. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
8. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
9. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）
10. 盖纳，保罗；林克，斯文；狄克逊，克莱尔；赫斯特，乌尔里希；Fisher，Michael:分布式同步的多尺度验证（2020）
11. 格洛尼娜，A。B、 ：用于测试模块化计算系统配置的实时约束的工具系统（2020年）
12. 古铁雷斯，朱利安；纳吉布，穆罕默德；佩雷利，朱塞佩；伍尔德里奇，迈克尔：自动时间均衡分析：多人游戏的验证和综合（2020）
13. Kölbl，马丁；卢伊，斯特凡；Wies，Thomas:TarTar:定时自动修复工具（2020）
14. 梅斯特尔，大卫；罗斯科，A。W、 ：在并发模型之间转换（2020年）
15. 山丹雅古比，边缘；诺德，奥利维尔；戈达里·德让，凯伦；Crestani，Didier:模型检验精确农业物流：差异收获案例（2020）
16. 安德烈，爱蒂安；杰瑞，杰威尔；Mhiri，Sahar:Time4sys2imi：一种在不确定性下正式化实时系统模型的工具（2019）
17. Murgia，Maurizio:异步定时会话类型的输入紧急语义（2019）
18. 劳伦斯•保尔森。；尼普科，托比亚斯；温泽尔，马卡里乌斯：从LCF到伊莎贝尔/霍尔（2019）
19. 弗吉尼亚州波季莫夫。五、 ：分层时间自动机的平坦算法（2019）
20. 塔普勒，马丁；艾瑟尼格，伯恩哈德K。；拉森，金·古德斯兰德；洛伯，弗洛里安：学习的时间——从测试中学习时间自动机（2019）