Sign in

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.

Yu JiangHoubing SongYixiao YangHan LiuMing GuYong GuanJiaguang SunLui Sha
Published in: ACM Trans. Cyber Phys. Syst. (2019)
Keyphrases
  • model driven development
  • platform independent
  • model driven
  • business process
  • real world
  • artificial intelligence
  • software development