软件导刊2017，Vol.16Issue(4)：191-194,4.DOI:10.11907/rjdk.171221
铁路车站计算机联锁系统安全性分析
摘要
关键词
安全性分析/形式化方法/模型检测分类
信息技术与安全科学引用本文复制引用
盛紫琦,王曦,欧阳城添..铁路车站计算机联锁系统安全性分析[J].软件导刊,2017,16(4):191-194,4.基金项目
国家自然科学基金项目(61462034,61561024,11461031) （61462034,61561024,11461031）
江西省自然科学基金项目(20151BAB207035) （20151BAB207035）
江西省大学生创新创业教育计划项目(201410407046) （201410407046）
江西理工大学科研基金重点项目(NSFJ2014-K11) （NSFJ2014-K11）
