| |
| 1998 | ||
|---|---|---|
| 2 | EE | Souâd Taouil-Traverson, Sylvie Vignes: Designing a B Model for Safety-Critical Software Systems. B 1998: 210-225 |
| 1996 | ||
| 1 | EE | Souâd Taouil-Traverson, Sylvie Vignes: Preliminary Analysis Cycle for B-Method Software Development. EUROMICRO 1996: 319- |
| 1 | Sylvie Vignes | [1] [2] |