dekker.one / TCP-setup-uppaal
An Uppaal analysis of the connection setup of the TCP protocol.
fork atom
TCP-setup-uppaal / Report / network_model.png
at main 19 kB view raw
Report/network_model.png