Rechnernetze und verteilte Systeme
Download Uebungsblaetter
praesenzUebung
(.ps)
RvSBlatt 1
(.ps)
RvSBlatt 2
(.ps)
RvSBlatt 3
(.ps)
RvSBlatt 4
(.ps)
RvSBlatt 5
(.ps)
Promela-Spezifikation fuer rvsBlatt 5
(Text)
Muesterloesung fuer rvsBlatt 5
(Text)
RvSBlatt 6
(.ps)
Muesterloesung fuer rvsBlatt 6 (Aufgabe 3)
(Text)
RvSBlatt 7
(.ps)
Muesterloesung fuer rvsBlatt 7 (Aufgabe 1)
(Text)
RvSBlatt 8
(.ps) Anmerkung: Die Aufgabe 8.3 bezieht sich auf das Alternating-Bit-Protokoll!
Muesterloesung fuer rvsBlatt 8 (Aufgabe 3)
(Text)
RvSBlatt 9
(.ps)
RvSBlatt 10
(.ps)
RvSBlatt 11
(.ps)
RvSBlatt 12
(.ps)
RvSBlatt 13
(.ps)
RvSBlatt 14
(.ps)
Download der SPIN-Software
Spin
Spin Online References
Installationseinleitung zu Spin
Hier finden Sie Screenshots zu Spin
"Screen Shot 1"
"Screen Shot 2"
"Screen Shot 3"
"Wegzeit Diagramm"
Veye Tatah
Last modified: Wed Jan 29 14:59:31 MET 2003
