On Conformance Test and Fault Resolution of Protocols based on FSM Model.

T. Ramalingam Anindya Das Krishnaiyan Thulasiraman

Published in: NETWORKS (1992)

Keyphrases

mathematical model
high level
probabilistic model
management system
computational model
statistical model
formal model
database
genetic algorithm
information systems
case study
probability distribution
theoretical analysis