Souâd Taouil-Traverson

According to our database¹, Souâd Taouil-Traverson authored at least 2 papers between 1996 and 1998.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1998

Designing a B Model for Safety-Critical Software Systems.

[DOI]

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1996

Preliminary Analysis Cycle for B-Method Software Development.

[DOI]

Proceedings of the 22rd EUROMICRO Conference '96, 1996