Formalizmi u telekomunikacijama

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

Izvedba

ID 155180
  Ljetni semestar
6 ECTS
R0 Engleski jezik
45 Predavanja
0 Auditorne vježbe
0 Laboratorijske vježbe
0 Konstrukcijske vježbe