Protocol Validation by Duologue-Matrix Analysis.

Pitro Zafiropulo

Published in: IEEE Trans. Commun. (1978)

Keyphrases

quantitative analysis
formal analysis
knowledge base
statistical analysis
database
neural network
video sequences
image analysis
distributed systems