Evaluation and improvement of fault coverage for verification and validation of protocols.

Yinan N. Shen Fabrizio Lombardi Donatella Sciuto

Published in: SPDP (1990)

Keyphrases

data sets
model checking
evaluation criteria
neural network
artificial intelligence
multiscale
significant improvement
evaluation method
formal verification
computer vision
e learning
face verification