Cite
HARVARD Citation
Gouyon, D. et al. (2020). Architecture assessment for safety critical plant operation using reachability analysis of timed automata. Reliability engineering & system safety. p. . [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Gouyon, D. et al. (2020). Architecture assessment for safety critical plant operation using reachability analysis of timed automata. Reliability engineering & system safety. p. . [Online].