Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.
https://doi.org/10.1007/978-3-319-68690-5_4
@inproceedings{DBLP:conf/icfem/ChenYYJ17,
author = {Xiaohong Chen and
Ling Yin and
Yijun Yu and
Zhi Jin},
editor = {Zhenhua Duan and
Luke Ong},
title = {Transforming Timing Requirements into {CCSL} Constraints to Verify
Cyber-Physical Systems},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {54--70},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_4},
doi = {10.1007/978-3-319-68690-5\_4},
timestamp = {Wed, 25 Sep 2019 18:13:47 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChenYYJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签