计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2014, Vol. 34 Issue (3): 851-856    DOI: 10.11772/j.issn.1001-9081.2014.03.0851
计算机软件技术 最新目录| 下期目录| 过刊浏览| 高级检索 |
列车安全距离控制形式化建模与验证
胡晓辉1,肖知屹1,陈永1,李欣2
1. 兰州交通大学 电子与信息工程学院,兰州730070;
2. 兰州交通大学 图书馆,兰州730070
Formal modeling and verification of train safety distance control
HU Xiaohui1,XIAO Zhiqi1,CHEN Yong1,Li Xin2
1. School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou Gansu 730070, China;
2. Library, Lanzhou Jiaotong University, Lanzhou Gansu 730070, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn