[IEEE 2011 IEEE International Conference on Automation Science and Engineering (CASE 2011) - Trieste, Italy (2011.08.24-2011.08.27)] 2011 IEEE International Conference on Automation Science and Engineering - Designing operational control architectures of critical systems by reachability analysis
Lemattre, Thibault, Denis, Bruno, Faure, Jean-Marc, Petin, Jean-Francois, Salaun, PatrickYear:
2011
Language:
english
DOI:
10.1109/case.2011.6042413
File:
PDF, 839 KB
english, 2011