Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Komunikační protokoly

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah
XP36KP ZK 4 2P
Přednášející:
Jan Janeček (gar.)
Cvičící:
Jan Janeček (gar.)
Předmět zajišťuje:
katedra počítačů
Anotace:

Principy komunikačních protokolů, protokoly X.25, ISO, XTP. Automatový popis protokolu, systém RTAG. Prototypový systém ESTELLE. Specifikační jazyk LOTOS. Protokolové transformace. Validace a verifikace protokolů.

Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP36KP

Požadavky:

http://dsn.felk.cvut.cz/education.cz/P36KP/index.html

Osnova přednášek:
Osnova cvičení:
Cíle studia:
Studijní materiály:

Holzmann G.J.: Design and Validation of Computer Protocols. Prentice Hall 19

Poznámka:
Další informace:
http://dsn.felk.cvut.cz/education.cz/P36KP/index.html
Rozvrh na zimní semestr 2019/2020:
Rozvrh není připraven
Rozvrh na letní semestr 2019/2020:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
místnost KN:E-205

14:30–16:00
(přednášková par. 1)
Karlovo nám.
Koníčkova konzultačka
St
Čt

Předmět je součástí následujících studijních plánů:
Platnost dat k 8. 4. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11846304.html