Verifying Communication Protocols Via Testing-Projection
Authors:
Khalil Drira;Pierre Azéma
Affiliations:
-;-
Venue:
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Year:
1993
Citing
0
Cited
1
Generating FSMs from interworkings
Distributed Computing
Quantified Score
Hi-index
0.00
Visualization
Abstract