A Formal Assessment of Synchronous Testability for Communicating Systems.

Khalil Drira Pierre Azéma B. Soulas A. M. Chemali

Published in: ICDCS (1993)

Keyphrases

artificial intelligence
management system
real time
distributed systems
retrieval systems
databases
information systems
similarity measure
search algorithm
expert systems
information technology
user interface
formal model