Designing operational control architectures of critical systems by reachability analysis

Publié le 24 août 2011 - IEEE 7th International Conference on Automation Science and Engineering

Auteurs : Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün