Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Communication Protocols

The course is not on the list Without time-table
Code Completion Credits Range
XP36KP ZK 4 2P
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 2019-10-18
For updated information see http://bilakniha.cvut.cz/en/predmet11846304.html