This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 535a33944c Merge branch 'master' of github.com:Recondor/TCP-setup-uppaal

2014-02-04 22:44:00 +01:00

..

Images

Added screenshots of the models.

2014-01-23 11:56:05 +01:00

GDN.tex

Some last changes

2014-02-04 22:42:50 +01:00

host_model.png

Simultaneous connect, and issues described

2014-02-04 13:34:58 +01:00

network_model.png

Simultaneous connect, and issues described

2014-02-04 13:34:58 +01:00

verifier-listen.png

And another better screenshot

2014-02-04 21:56:06 +01:00

verifier-simul.png

Better screenshot

2014-02-04 21:48:46 +01:00

verifier.png

Added the verifier picture

2014-02-03 22:46:21 +01:00