Design and Verification of Communication Procedures: A Bottom-Up Approach.

Pierre Azéma Jean-Michel Ayache Bernard Berthomieu

Published in: ICSE (1978)

Keyphrases

user interface
computer aided
database
databases
case study
information retrieval
expert systems
computer systems
knowledge based systems
building blocks
formal methods
signature verification
multimedia communication
computer interface