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

Komunikační protokoly

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah
XP36KP ZK 4 2P
Přednášející:
Cvičící:
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
Pro tento předmět se rozvrh nepřipravuje
Předmět je součástí následujících studijních plánů:
Platnost dat k 18. 10. 2019
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11846304.html