Formalizmi u telekomunikacijama

Prikazani su podaci za akademsku godinu: 2023./2024.

Nositelji

Izv. prof. dr. sc.
Miljenko Mikuc
Izv. prof. dr. sc.
Bruno Blašković

Opis predmeta

Osnovna svojstva telekomunikacijskog sustava. Formalizmi i veliki sustavi. Formalne specifikacije i opisi telekomunikacijskih procesa i usluga. Verifikacija i pravovaljanost formalnih modela. Klasifikacija formalnih metoda glede strogosti primjene. Prednosti i nedostaci formalnih metoda i tehnika. Primjeri pojedinih pomagala. Implementacija formalnih metoda u module inteligentne razvojne telekomunikacijske okoline.

Studijski programi

Poslijediplomski doktorski

Literatura

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

Za studente

Izvedba

ID 155180
  Ljetni semestar
6 ECTS
R0 Engleski jezik