| |
| 2009 | ||
|---|---|---|
| 2 | EE | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57 |
| 2008 | ||
| 1 | EE | Charlotte Seidner, Olivier H. Roux: Formal Methods for Systems Engineering Behavior Models. IEEE Trans. Industrial Informatics 4(4): 280-291 (2008) |
| 1 | Didier Lime | [2] |
| 2 | Olivier H. Roux (Olivier Roux) | [1] [2] |
| 3 | Louis-Marie Traonouez | [2] |