Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.

Bohua Zhan Xiong Xu Qiang Gao Zekun Ji Xiangyu Jin Shuling Wang Naijun Zhan

Published in: CoRR (2024)

Keyphrases

code generation

real time

modeling language

information systems