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

Izvedba

ID 11450
  Ljetni semestar
6 ECTS