| CTCS-4无线通信故障恢复模型的形式化研究 |
| |
| 引用本文： | 权庆乐,胡晓辉.CTCS-4无线通信故障恢复模型的形式化研究[J].兰州铁道学院学报,2013(1):68-72. |
| |
| 作者姓名： | 权庆乐 胡晓辉 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院 |
| |
| 基金项目： | 国家自然科学基金(61163009) |
| |
| 摘 要： | 对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.
|
| 关 键 词： | CTCS-4 Event-B GSM-R 证明义务 |
Research on Fault Recovery Modeling of CTCS-4 Wireless Communication System |
| |
| QUAN Qing-le,HU Xiao-hui.Research on Fault Recovery Modeling of CTCS-4 Wireless Communication System[J].Journal of Lanzhou Railway University,2013(1):68-72. |
| |
| Authors: | QUAN Qing-le HU Xiao-hui |
| |
| Institution: | (School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
