×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
在这里添加一些文本
关闭
×
Toggle navigation
计算机科学
首页
关于本刊
期刊介绍
学术指标
学术荣誉
编委会
道德声明
OA政策
期刊订阅
联系我们
English
重载列车上人员攀车行为感知及其时间自动机模型
王瑾,孙景昊,何兴权,孟亚坤
Safety Supervision System for Heavy Haul Railway:Timed Automaton Model and Verfication
WANG Jin,SUN Jing-hao,HE Xing-quan and MENG Ya-kun
计算机科学 . 2013, (
Z11
): 94 -97 .