Login / Signup
Stenning's Protocol Implemented in UDP and Verified in Isabelle.
Michael Compton
Published in:
CATS (2005)
Keyphrases
</>
tcp ip
lightweight
real time
theorem prover
application layer
transport layer
knowledge representation
wireless networks
security analysis
communication protocol
coloured petri nets