Předmět Komunikační protokoly (PI-KP)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu PI-KP - Komunikační protokoly, Fakulta informačních technologií, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Mechanismy ochrany proti chybám v komunikačních protokolech vedly k vytvoření systému oveřování odolnosti, v současnosti mají úzkou vazbu na implementaci mechanismu ověřování odolnosti distribuovaných aplikací.Cílem předmětu je uvést studenty do tohoto kontextu rozvoje moderních komunikačních protokolů.
Literatura
Holzmann G.J.: Design and Validation of Computer Protocols. Prentice Hall 1998Ben-Ari M.. Principles of the SPIN Model Checker, Springer 2008.
Garant
Jan Janeček