| |
| 2006 | ||
|---|---|---|
| 3 | EE | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE 2006: 404-419 |
| 2 | EE | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379 |
| 2005 | ||
| 1 | EE | Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. SEFM 2005: 250-260 |
| 1 | Marc Boyer | [2] [3] |
| 2 | Jean-Pierre Courtiat | [1] [2] [3] |
| 3 | Pierre de Saqui-Sannes | [1] [2] [3] |