Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0001, Dehui Du, Mingsong Chen. A proof-based method of hybrid systems development using differential invariants. Frontiers of Computer Science in China, 12(5):1026-1028, 2018. [doi]
@article{00130ZS0DC18,
title = {A proof-based method of hybrid systems development using differential invariants},
author = {Jie Liu 0013 and Jing Liu 0012 and Miaomiao Zhang and Haiying Sun and Xiaohong Chen 0001 and Dehui Du and Mingsong Chen},
year = {2018},
doi = {10.1007/s11704-018-7213-y},
url = {https://doi.org/10.1007/s11704-018-7213-y},
researchr = {https://researchr.org/publication/00130ZS0DC18},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {12},
number = {5},
pages = {1026-1028},
}