External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Yu Jiang 0001, Houbing Song, Yixiao Yang, Han Liu, Ming Gu 0001, Yong Guan, Jiaguang Sun, Lui Sha. Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. TCPS, 3(1), 2019. [doi]

Authors

Yu Jiang 0001

This author has not been identified. Look up 'Yu Jiang 0001' in Google

Houbing Song

This author has not been identified. Look up 'Houbing Song' in Google

Yixiao Yang

This author has not been identified. Look up 'Yixiao Yang' in Google

Han Liu

This author has not been identified. Look up 'Han Liu' in Google

Ming Gu 0001

This author has not been identified. Look up 'Ming Gu 0001' in Google

Yong Guan

This author has not been identified. Look up 'Yong Guan' in Google

Jiaguang Sun

This author has not been identified. Look up 'Jiaguang Sun' in Google

Lui Sha

This author has not been identified. Look up 'Lui Sha' in Google
runs on