Formalisms in Telecommunications

Data is displayed for academic year: 2023./2024.

Course Description

Fundamental features of telecommunication system. Formalisms and complex systems. Formal specifications and descriptions of telecommunication processes and services. Verification and validation of formal models. Formal methods classification regarding applications. Advantages and disadvantages of formal methods and techniques. Review of some particular tools. Modules of intelligent telecommunication development environment implemented by formal methods.

Study Programmes

Postgraduate doctoral study programme


Kenneth J. Turner (1993.), Using Formal Description Techniques, John Wiley & Sons Incorporated
Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma (1997.), SDL,
Laurent Doldi (2003.), Validation of Communications Systems with SDL, John Wiley & Sons

For students


ID 155180
  Summer semester
L0 English Level