ETDFA模型相关硕士博士期刊学术论文 - 搜论网

ETDFA模型相关论文

列车控制系统的仿真和测试

基于通信的列车控制CBTC（Communication Based Train Control）系统是一种主流列车控制系统,它通过列车和地面间周期性的通信,获取列......

学位

CBTC系统 UML顺序图 ETDFA模型仿真系统测试用例生成

基于UML的地铁联锁软件测试用例生成方法的研究

计算机联锁是保证列车安全运行的重要技术措施,对联锁逻辑的分析、测试、验证是满足苛刻需求条件的基础。联锁软件作为保证行车安......

学位

计算机联锁 UML ETDFA模型测试用例生成方法网络组合算法

看过本文同时还关注