On Testing and Diagnosis of Communication Protocols Based on the FSM Model.

T. Ramalingam Anindya Das Krishnaiyan Thulasiraman

Published in: Comput. Commun. (1995)

Keyphrases

high level
probabilistic model
computational model
communication protocols
mathematical model
test data
model based diagnosis
structural model
response time
medical diagnosis