Login / Signup
Catherine Devic
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Incremental Algorithms
Theorem Prover
Safety Critical
Support Systems
Top Venues
Reliab. Eng. Syst. Saf.
</>
Publications
</>
David Gouyon
,
Jean-François Pétin
,
Thomas Cochard
,
Catherine Devic
Architecture assessment for safety critical plant operation using reachability analysis of timed automata.
Reliab. Eng. Syst. Saf.
199 (2020)