Travelled to:
1 × Italy
Collaborated with:
T.Lemattre B.Denis J.Faure P.Salaün
Talks about:
architectur (1) reachabl (1) control (1) analysi (1) system (1) design (1) critic (1) oper (1)
Person: Jean-François Pétin
DBLP: P=eacute=tin:Jean=Fran=ccedil=ois
Contributed to:
Wrote 1 papers:
- CASE-2011-LemattreDFPS #analysis #architecture #design #reachability
- Designing operational control architectures of critical systems by reachability analysis (TL, BD, JMF, JFP, PS), pp. 12–18.