Verifying Communication Protocols Via Testing-Projection.

Khalil Drira Pierre Azéma

Published in: AMAST (1993)

Keyphrases

communication protocols
communication protocol
communication networks
process algebra
model checking
data mining
test cases