Login / Signup
Applications and Limitations of Automated Protocol Validation.
Colin H. West
Published in:
PSTV (1982)
Keyphrases
</>
semi automated
lightweight
fully automated
data driven
computer aided
application layer
artificial intelligence
real time
data sets
information retrieval
response time
authentication protocol
communication protocol
tcp ip
network protocols
coloured petri nets