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]
@article{JiangSYLGGSS19,
title = {Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation},
author = {Yu Jiang 0001 and Houbing Song and Yixiao Yang and Han Liu and Ming Gu 0001 and Yong Guan and Jiaguang Sun and Lui Sha},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3078623},
researchr = {https://researchr.org/publication/JiangSYLGGSS19},
cites = {0},
citedby = {0},
journal = {TCPS},
volume = {3},
number = {1},
}