计算机工程与应用2005，Vol.41Issue(17)：123-125,138,4.
基于Petri网的联锁软件安全性测试的研究
Research on Safety Test for Interlocking Software Based on Petri Nets
摘要
关键词
软件安全性/Petri网/联锁软件/测试用例分类
交通工程引用本文复制引用
魏臻,周霞,鲍红杰,韩进..基于Petri网的联锁软件安全性测试的研究[J].计算机工程与应用,2005,41(17):123-125,138,4.基金项目
国家863高技术研究发展计划项目:企业铁路智能运输调度综合信息平台(编号:2004AA001210) （编号:2004AA001210）
