基于有色Petri网的测试案例生成方法及其CTCS-3车地通信中的应用

赵天时

Test case generation method based on colored Petri net and its application in OnBoard-Trackside communication of CTCS-3

ZHAO Tianshi

北京交通大学学报 . 2018, (6): 97 . DOI: 10.11860/j.issn.1673-0291.2018.06.014