| |
| 2004 | ||
|---|---|---|
| 2 | Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin: Validation des règles de base de l'Atelier B. Technique et Science Informatiques 23(7): 855-878 (2004) | |
| 2003 | ||
| 1 | EE | Daniel Dollé, Didier Essamé, Jérôme Falampin: B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems. Technique et Science Informatiques 22(1): 11-32 (2003) |
| 1 | Karim Berkani | [2] |
| 2 | Daniel Dollé | [1] |
| 3 | Catherine Dubois | [2] |
| 4 | Didier Essamé | [1] |
| 5 | Alain Faivre | [2] |