Pretraga

Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 46203

Modeliranje i provjera konkurentnih telekomunikacijskih sustava

Barišić, Saša
Modeliranje i provjera konkurentnih telekomunikacijskih sustava, 1999., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb

CROSBI ID: 46203 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

Naslov
Modeliranje i provjera konkurentnih telekomunikacijskih sustava
(Concurrent telecommunication processes modeling and verification)

Autori
Barišić, Saša

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
29.09

Godina
1999

Stranica
54

Mentor
Lovrek, Ignac

Ključne riječi
modeliranje; provjera; konkurentnost; telekomunikacije
(modeling; verification; concurrent; telecommunication; system)

Sažetak
Rad se bavi sljedećim temama: konkurentnost programski sustav Cocurrency Workbench, distribuirani sustav za verifikaciju protokola, te se navode primjeri verifikacije protokola.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA

Projekti:
036030

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Ignac Lovrek (mentor)

Citiraj ovu publikaciju:

Barišić, Saša
Modeliranje i provjera konkurentnih telekomunikacijskih sustava, 1999., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
Barišić, S. (1999) 'Modeliranje i provjera konkurentnih telekomunikacijskih sustava', diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Bari\v{s}i\'{c}, Sa\v{s}a}, year = {1999}, pages = {54}, keywords = {modeliranje, provjera, konkurentnost, telekomunikacije}, title = {Modeliranje i provjera konkurentnih telekomunikacijskih sustava}, keyword = {modeliranje, provjera, konkurentnost, telekomunikacije}, publisherplace = {Zagreb} }
@phdthesis{phdthesis, author = {Bari\v{s}i\'{c}, Sa\v{s}a}, year = {1999}, pages = {54}, keywords = {modeling, verification, concurrent, telecommunication, system}, title = {Concurrent telecommunication processes modeling and verification}, keyword = {modeling, verification, concurrent, telecommunication, system}, publisherplace = {Zagreb} }

Podijeli:





Contrast
Increase Font
Decrease Font
Dyslexic Font
CROSBI koristi kolačiće (cookies) kako bi poboljšao funkcionalnost stranice.