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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.