B. Soulas

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
Testability of a Communicating System Through an Environment. TAPSOFT (1993)
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
A Formal Assessment of Synchronous Testability for Communicating Systems. ICDCS (1993)
Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali
Characterizing and Ordering Errors Detected by Conformance Testing. Protocol Test Systems (1992)