 | 2011 |
|---|
| 4 |       | Thibault Lemattre,
Bruno Denis,
Jean-Marc Faure,
Jean-François Pétin,
Patrick Salaün:
Designing operational control architectures of critical systems by reachability analysis.
CASE 2011: 12-18 |
| 3 | | Julien Provost,
Jean-Marc Roussel,
Jean-Marc Faure:
A formal semantics for Grafcet specifications.
CASE 2011: 488-494 |
| 2 |  | Jean-Marc Faure,
Jean-Jacques Lesage:
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering.
ICINCO (1) 2011: 19 |
| 2006 |
|---|
| 1 | | Gaëlle Marsal,
Bruno Denis,
Jean-Marc Faure,
Georg Frey:
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA 2006: 380-387 |
Data released under the ODC-BY 1.0 license — See also our legal information page