基于有色Petri网的测试案例生成方法及其CTCS-3车地通信中的应用
赵天时
基于有色Petri网的测试案例生成方法及其CTCS-3车地通信中的应用
Test case generation method based on colored Petri net and its application in OnBoard-Trackside communication of CTCS-3
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |