Pregled bibliografske jedinice broj: 45461
Provjera konkurentnih telekomunikacijskih sustava ispitivanjem modela
Provjera konkurentnih telekomunikacijskih sustava ispitivanjem modela, 1999., magistarski rad, Fakultet elektrotehnike i računarstva, Zagreb
CROSBI ID: 45461 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Provjera konkurentnih telekomunikacijskih sustava ispitivanjem modela
(Verification of concurrent telecommunication processes by using model checking)
Autori
Ježić, Gordan
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad
Fakultet
Fakultet elektrotehnike i računarstva
Mjesto
Zagreb
Datum
05.02
Godina
1999
Stranica
138
Mentor
Lovrek, Ignac
Ključne riječi
konkurentni procesi; provjera ispravnosti; ispitivanje modela
(concurrent processes; verification; model checking)
Sažetak
Modeliranje i provjera konkurentnih sustava te primjene automatiziranih postupaka, a posebno konkuretnost u telekomunikacijama, odnosno inherentna konkurentnost procesa u novim arhitekturama mreže. Neformalna i formalna specifikacija konkurentnih sustava. Modeli komunikacijskog medija, događaja i same komunikacije, primjenjujući račun komunicirajućih sustava, CCS (Calculus of Communicating Systems). Mogućnosti automatizirane provjere i prijedlog verifikacijskog sustava Concurrency Workbench, CWB, koji se uvodi u laboratorijski skup pomagala
Izvorni jezik
Hrvatski
Znanstvena područja
Elektrotehnika
