A Formal Assessment of Synchronous Testability for Communicating Systems

Khalil Drira, Pierre Azéma, B. Soulas, A. M. Chemali. A Formal Assessment of Synchronous Testability for Communicating Systems. In ICDCS. pages 149-156, 1993.

Abstract

Abstract is missing.