Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.
https://doi.org/10.1109/RE.2019.00040
@inproceedings{DBLP:conf/re/0007ZJZLCZ19,
author = {Xiaohong Chen and
Zhiwei Zhong and
Zhi Jin and
Min Zhang and
Tong Li and
Xiang Chen and
Tingliang Zhou},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Automating Consistency Verification of Safety Requirements for Railway
Interlocking Systems},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {308--318},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00040},
doi = {10.1109/RE.2019.00040},
timestamp = {Sat, 04 Jan 2020 19:06:16 +0100},
biburl = {https://dblp.org/rec/conf/re/0007ZJZLCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签