| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jacques Julliand, Pierre-Alain Masson, Régis Tissot: Generating Tests from B Specifications and Test Purposes. ABZ 2008: 139-152 |
| 2 | EE | Frédéric Dadeau, Adrien De Kermadec, Régis Tissot: Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ 2008: 153-166 |
| 1 | EE | Frédéric Dadeau, Marie-Laure Potet, Régis Tissot: A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC 2008: 141-155 |
| 1 | Frédéric Dadeau | [1] [2] |
| 2 | Jacques Julliand | [3] |
| 3 | Adrien De Kermadec | [2] |
| 4 | Pierre-Alain Masson | [3] |
| 5 | Marie-Laure Potet | [1] |