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

1. 阿曼，博格丹；乔巴努，加布里埃尔：移动代理系统和加权时间自动机的声誉动力学（2022）
2. 安德烈，爱蒂安；科夸德，伊曼纽；弗里堡，劳伦特；杰瑞，杰威尔；Lesens，David:反应性约束下发射器飞行控制系统的参数可调度性分析（2021）
3. 安德烈，爱蒂安；石灰，迪迪埃；马蒂亚斯，兰帕里森；Stoelinga，Mariëlle:攻击故障树的参数分析（2021）
4. 巴兹尔，戴维德；范泰奇，亚历山德罗；鲁切尔，路易吉；Mandò，Gianluca:用统计模型检查器分析自动电车轨道定位系统（2021年）
5. Bennour，Imed Eddine:使用lustre对定时同步数据流图的形式化验证（2021）
6. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
7. 克莱门特，洛伦佐；Lasota，Sławomir:定时下推自动机的可达关系（2021）
8. 何希明；周若愚；琼斯，蒂莫西M.：时间超属性（2021）
9. 隆德，塞巴斯蒂安；范迪彭，杰斯珀；拉森，金G。；穆尼兹，马可；林霍尔姆约根森，托比亚斯；Skaarup Daa Andersen，Tobias:Uppaal（2021）中用于更好外推的整数静态分析
10. 陆志浩；王瑞；孔辉；关勇；石志平：托勒密离散事件模型（2021）的形式化验证
11. 曼奇尼，托尼；玛丽，费德里科；马西尼，安娜丽莎；伊戈尔，梅拉蒂；恩里科·特隆奇：关于模拟脚本等价性的检验（2021）
12. 鲁比奥，鲁宾；玛蒂奥利特，纳西索；皮塔，伊莎贝尔；阿尔伯托Verdejo:Maude的策略、模型检查和分支时间特性（2021）
13. Szymoniak，Sabina:包括各种时间参数的安全协议分析（2021）
14. 谢婉玲；朱惠标；徐启文：移动系统的过程演算及其形式语义（2021）
15. Ait Oumeziane，F。；卡拉，R。；Amari，S.：（max，+）和（min，+）代数对带保护的时间自动机的形式化分析与控制（2020）
16. 阿曼，博格丹；Ciobanu，Gabriel:带定时迁移和定时通信的多智能体系统中的雇佣成本（2020）
17. 巴雷西，L。；贝尔萨尼，医学硕士。；马可尼，F。；夸特罗奇，G。；Rossi，M.：使用形式验证来评估Spark应用程序的执行时间（2020年）
18. 贝尔萨尼，马塞洛M。；索尔多，马特奥；孟吉，克劳迪奥；佩利西翁，帕特里齐奥；Rossi，Matteo：追求——从机器人环境规范到控制器综合（2020）
19. 法伦堡，乌利；勒盖，阿克塞尔；夸斯，卡林：用定量博弈计算分支距离（2020）
20. 弗雷泽，道格拉斯；贾昆塔，鲁本；霍夫曼，露丝；爱尔兰，默里；米勒，爱丽丝；Norman，Gethin:自治系统控制器综合的协作模型（2020）