Login / Signup
From Formal Protocol Specification Towards Automated Performance Prediction.
Harry Rudin
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
protocol specification
formal methods
formal specification
prediction accuracy
communication protocols
query language
quality of service
process algebra