Catherine Devic

According to our database, Catherine Devic authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2020

Architecture assessment for safety critical plant operation using reachability analysis of timed automata.

David Gouyon, Jean-François Pétin, Thomas Cochard, Catherine Devic

Reliab. Eng. Syst. Saf., 2020