Login / Signup

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

Bohua ZhanXiong XuQiang GaoZekun JiXiangyu JinShuling WangNaijun Zhan
Published in: CoRR (2024)
Keyphrases
  • code generation
  • real time
  • modeling language
  • information systems