| |
| 2003 | ||
|---|---|---|
| 2 | EE | Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin: LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. MEMOCODE 2003: 204- |
| 1999 | ||
| 1 | EE | Pierre Wodey, Fabrice Baray: Linking Codesign and Verification by Means of E-LOTOS FDT. EUROMICRO 1999: 1487-1491 |
| 1 | Fabrice Baray | [1] [2] |
| 2 | Geoffrey Camarroque | [2] |
| 3 | Jean-Philippe Cousin | [2] |
| 4 | Richard Hersemeule | [2] |