Dependable model-driven development of CPS: From Stateflow simulation to verified implementation

Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Dependable model-driven development of CPS: From Stateflow simulation to verified implementation'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science