Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Communication Protocols

The course is not on the list Without time-table
Code Completion Credits Range
XP36KP ZK 4 2P
Garant předmětu:
Lecturer:
Tutor:
Supervisor:
Department of Computer Science
Synopsis:

Communication protocol principles, SDL language, protocol architecture: ISO OSI, error control, data-link layer protocols: X.25, higher layer protocols (TCP, TP4), communicating finite state machines, implementation tools (FSM language ESTELLE, regular grammars), use of Petri nets, specification language LOTOS, protocol transformation, design, synthesis, validation and verification of protocols.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

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

Note:
Further information:
http://dsn.felk.cvut.cz/education.cz/P36KP/index.html
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-03-04
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet11846304.html