Souâd Taouil-Traverson

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Souâd Taouil-Traverson, Sylvie Vignes
Designing a B Model for Safety-Critical Software Systems. B (1998)
Souâd Taouil-Traverson, Sylvie Vignes
Preliminary Analysis Cycle for B-Method Software Development. EUROMICRO (1996)