Formalisms in Telecommunications

Data is displayed for the academic year: 2025./2026.

Lecturers

Assoc. Prof.
Miljenko Mikuc
PhD
Asst. Prof.
Frano Škopljanac-Mačina
PhD

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

General

ID 155180
  Summer semester
6 ECTS