Pregled bibliografske jedinice broj: 42088
Distribuirani programski sustav za provjeru komunikacijskih protokola
Distribuirani programski sustav za provjeru komunikacijskih protokola, 1997., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
CROSBI ID: 42088 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Distribuirani programski sustav za provjeru komunikacijskih protokola
(Distributed Programming System for Verification of Communication Protocols)
Autori
Kušek, Mario
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad
Fakultet
Fakultet elektrotehnike i računarstva
Mjesto
Zagreb
Datum
12.06
Godina
1997
Stranica
81
Mentor
Lovrek, Ignac
Ključne riječi
java; distribuirani sustavi; web; verifikacija; protokoli
(java; distributed systems; web; verification; protocols)
Sažetak
Zadatak ovog diplomskog rada bio je odrediti koncepte distribuiranog programiranja i rješenja obuhvaćena programskim jezikom Java primijeniti u programskom rješenju sustava za provjeru komunikacijskih protokola temeljen na Promela/Spin paketu.
Izvorni jezik
Hrvatski
Znanstvena područja
Elektrotehnika
