David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic. Architecture assessment for safety critical plant operation using reachability analysis of timed automata. Rel. Eng. & Sys. Safety, 199:106923, 2020. [doi]
@article{GouyonPCD20,
title = {Architecture assessment for safety critical plant operation using reachability analysis of timed automata},
author = {David Gouyon and Jean-François Pétin and Thomas Cochard and Catherine Devic},
year = {2020},
doi = {10.1016/j.ress.2020.106923},
url = {https://doi.org/10.1016/j.ress.2020.106923},
researchr = {https://researchr.org/publication/GouyonPCD20},
cites = {0},
citedby = {0},
journal = {Rel. Eng. & Sys. Safety},
volume = {199},
pages = {106923},
}