基于时间自动机的C3+ATO系统场景建模与验证

张振海, 姚婕

Modeling and Verification of Scene of C3+ATO System Based on Timed Automata

Zhang Zhenhai, Yao Jie

系统仿真学报 . 2021, (4): 951 -961 . DOI: 10.16182/j.issn1004731x.joss.19-0662