Visible to the public Biblio

Filters: Author is Jiaguang Sun  [Clear All Filters]
2018-05-16
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Jiaguang Sun, Lui Sha.  2017.  Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Transactions on Cyber-Physical Systems.