Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.
https://doi.org/10.1109/TITS.2018.2869633
@article{DBLP:journals/tits/YuanCLYSZJ18,
author = {Zhengheng Yuan and
Xiaohong Chen and
Jing Liu and
Yijun Yu and
Haiying Sun and
Tingliang Zhou and
Zhi Jin},
title = {Simplifying the Formal Verification of Safety Requirements in Zone
Controllers Through Problem Frames and Constraint-Based Projection},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {11},
pages = {3517--3528},
year = {2018},
url = {https://doi.org/10.1109/TITS.2018.2869633},
doi = {10.1109/TITS.2018.2869633},
timestamp = {Tue, 24 Mar 2020 08:52:41 +0100},
biburl = {https://dblp.org/rec/journals/tits/YuanCLYSZJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签