Author:
Zhan Haolan,Lin Qianqian,Wang Shuling,Talpin Jean-Pierre,Xu Xiong,Zhan Naijun
Publisher
Springer International Publishing
Reference47 articles.
1. Simulink User’s Guide (2013).
http://www.mathworks.com/help/pdf_doc/simulink/sl_using.pdf
2. Stateflow User’s Guide (2013).
http://www.mathworks.com/help/pdf_doc/stateflow/sf_ug.pdf
3. Esterel Technologies, SCADE suite (2018).
http://www.esterel-technologies.com/products/scade
4. SysML 1.6 Beta Specification (2019).
http://www.omg.org/spec/SysML
5. Ahmad, E., Dong, Y., Larson, B., Lü, J., Tang, T., Zhan, N.: Behavior modeling and verification of movement authority scenario of Chinese train control system using AADL. Sci. China Inf. Sci. 58(11), 1–20 (2015)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献