Formalisms in Telecommunications

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

Lecturers

Assoc. Prof.
Miljenko Mikuc
Assoc. Prof.
Bruno Blašković

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

Literature

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

General

ID 155180
  Summer semester
6 ECTS
L0 English Level