Formalizmi u telekomunikacijama
Prikazani su podaci za akademsku godinu: 2023./2024.
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