Komunikační protokoly
Předmět není vypsán Nerozvrhuje se
| Kód | Zakončení | Kredity | Rozsah |
|---|---|---|---|
| XP36KP | ZK | 4 | 2P |
- Garant předmětu:
- 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:
- 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ů:
-
- Doktorské studium, prezenční forma (povinně volitelný předmět)
- Doktorské studium, kombinovaná forma (povinně volitelný předmět)
- Doktorské studium, strukturované prezenční (povinně volitelný předmět)
- Doktorské studium, strukturované kombinované (povinně volitelný předmět)