| |
| 2007 | ||
|---|---|---|
| 1 | EE | Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois: Automatic generation of model based tests for a class of security properties. A-MOST 2007: 12-22 |
| 1 | Eddie Jaffuel | [1] |
| 2 | Jacques Julliand | [1] |
| 3 | Pierre-Alain Masson | [1] |
| 4 | Jean-Chritophe Plessis | [1] |