| |
2024年第35卷第9期目录下载本期目录
本期目录 专刊文章 综述文章 专刊文章 | | | 舰载机弹药保障作业调度的形式化建模与验证 | | | 金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮 | | | 出版日期: 2024-09-06 (23 页) | | | 2024,35(9):4100-4122 [摘要(626)] [PDF 9.27 M (2279)] | | | | | 基于优先级时间Petri网的实时嵌入式多核系统分析 | | | 张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌 | | | 出版日期: 2024-09-06 (18 页) | | | 2024,35(9):4123-4140 [摘要(412)] [PDF 3.57 M (782)] | | | | | 并发对象强可线性化性质的检测和验证 | | | 王超，贾巧雯，吕毅，吴鹏 | | | 出版日期: 2024-09-06 (18 页) | | | 2024,35(9):4141-4159 [摘要(438)] [PDF 6.14 M (1696)] | | | | | 基于DH标定的机器人正向运动学形式化验证 | | | 谢果君，杨焕焕，石正璞，陈钢 | | | 出版日期: 2024-09-06 (20 页) | | | 2024,35(9):4160-4178 [摘要(406)] [PDF 7.23 M (1903)] | | | | | 微内核操作系统互斥量模块功能正确性的形式化验证 | | | 张林雁，李希萌，施智平，关永，曹钦翔，张倩颖 | | | 出版日期: 2024-09-06 (15 页) | | | 2024,35(9):4179-4192 [摘要(466)] [PDF 7.93 M (1867)] | | | | | 基于形式化方法的区块链系统漏洞检测模型 | | | 陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU | | | 出版日期: 2024-09-06 (27 页) | | | 2024,35(9):4193-4217 [摘要(723)] [PDF 8.82 M (2239)] | | | | | 命令式动态规划类算法程序推导及机械化验证 | | | 左正康，孙欢，王昌晶，游珍，黄箐，王唱唱 | | | 出版日期: 2024-09-06 (26 页) | | | 2024,35(9):4218-4241 [摘要(321)] [PDF 10.40 M (1675)] | | | | | Trie+结构函数式建模、机械化验证及其应用 | | | 左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶 | | | 出版日期: 2024-09-06 (23 页) | | | 2024,35(9):4242-4264 [摘要(403)] [PDF 8.58 M (1528)] | | | | | 基于MTRDL的自动飞行系统模式需求建模与验证方法 | | | 徐恒，黄志球，胡军，陶传奇，王金永，石帆 | | | 出版日期: 2024-09-06 (21 页) | | | 2024,35(9):4265-4286 [摘要(380)] [PDF 10.56 M (1726)] | | | | | 基于AADL的混合关键系统随机错误与突发错误安全性分析 | | | 魏晓敏，董云卫，孙聪，李兴华，马建峰 | | | 出版日期: 2024-09-06 (24 页) | | | 2024,35(9):4287-4309 [摘要(405)] [PDF 11.54 M (1482)] | | | | | Büchi自动机确定化分析工具 | | | 马润哲，田聪，王文胜，段振华 | | | 出版日期: 2024-09-06 (17 页) | | | 2024,35(9):4310-4323 [摘要(435)] [PDF 6.17 M (1686)] | | | |
|
