Pregled bibliografske jedinice broj: 12295
Modeliranje i provjera konkurentnih programskih sustava
Modeliranje i provjera konkurentnih programskih sustava, diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
CROSBI ID: 12295 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modeliranje i provjera konkurentnih programskih sustava
(Modeling and validation of concurrent programming systems)
Autori
Jagnjić, Željko
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad
Fakultet
Fakultet elektrotehnike i računarstva
Mjesto
Zagreb
Datum
15.12
Stranica
51
Mentor
Lovrek, Ignac
Ključne riječi
telekomunikacije; formalna specifikacija; konkurentni sustavi
(telecommunications; formal specification; concurrent systems)
Izvorni jezik
Hrvatski
Znanstvena područja
Elektrotehnika
