Zhan, B., Xu, X., Gao, Q., Ji, Z., Jin, X., Wang, S., & Zhan, N. (2024). Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.
Chicago-Zitierstil (17. Ausg.)Zhan, Bohua, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, und Naijun Zhan. Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems. 2024.
MLA-Zitierstil (9. Ausg.)Zhan, Bohua, et al. Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.