%0 Journal Article %1 journals/tcps/JiangSYLGGSS19 %A Jiang, Yu %A Song, Houbing %A Yang, Yixiao %A Liu, Han %A Gu, Ming %A Guan, Yong %A Sun, Jiaguang %A Sha, Lui %D 2019 %J TCPS %K dblp %N 1 %P 12:1-12:31 %T Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. %U http://dblp.uni-trier.de/db/journals/tcps/tcps3.html#JiangSYLGGSS19 %V 3

@article{journals/tcps/JiangSYLGGSS19, added-at = {2019-05-09T00:00:00.000+0200}, author = {Jiang, Yu and Song, Houbing and Yang, Yixiao and Liu, Han and Gu, Ming and Guan, Yong and Sun, Jiaguang and Sha, Lui}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/281997e5c9d8498cbeda39c5a9b6401cf/dblp}, ee = {https://doi.org/10.1145/3078623}, interhash = {fa862c8cfac518a7020341efdb7993be}, intrahash = {81997e5c9d8498cbeda39c5a9b6401cf}, journal = {TCPS}, keywords = {dblp}, number = 1, pages = {12:1-12:31}, timestamp = {2019-09-27T10:25:00.000+0200}, title = {Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.}, url = {http://dblp.uni-trier.de/db/journals/tcps/tcps3.html#JiangSYLGGSS19}, volume = 3, year = 2019 }