Specification description and verification of computer interlocking safety based on Event-B
计量
- 文章访问数: 45
- HTML全文浏览量: 0
- PDF下载量: 132
引用本文: | 张越, 王海峰. 基于Event-B的计算机联锁安全规范描述与验证[J]. 铁路计算机应用, 2013, 22(11): 47. |
Citation: | ZHANG Yue, WANG Haifeng. Specification description and verification of computer interlocking safety based on Event-B[J]. Railway Computer Application, 2013, 22(11): 47. |