A Formal Assessment of Synchronous Testability for Communicating Systems.

Khalil Drira, Pierre Azma, B. Soulas, A. M. Chemali

Browse the full ICDCS paper archive.