Modeling and Verification of Scene of C3+ATO System Based on Timed Automata
Zhang Zhenhai, Yao Jie
Journal of System Simulation . 2021, (4): 951 -961 .  DOI: 10.16182/j.issn1004731x.joss.19-0662

http://www.china-simulation.com
Links
京ICP备13004815号　京公网安备1101082014254号
Copyright © Beijing simulation Center　China Simulation Federation
Tel:010-88527147　E-mail:simu-xb@vip.sina.com
Powered by Beijing Magtech Co., Ltd.