Login / Signup
Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0.
O. Catrina
Published in:
PSTV (1995)
Keyphrases
</>
formal analysis
protocol specification
computational cost
learning algorithm
data analysis
significant improvement
lightweight
real time
search engine
multi agent
preprocessing
statistical analysis
qualitative and quantitative
formal methods
tcp ip