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] |