Pretraga

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

Napredna pretraga

Pregled bibliografske jedinice broj: 12181

Signaling Protocol Verification with SDL to PROMELA Translation

Blašković, Bruno; Rubčić, Alen
Signaling Protocol Verification with SDL to PROMELA Translation // MIPRO - Računala u komunikacijama / Golubić, Stjepan (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1998. str. 75-78 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)

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

Naslov
Signaling Protocol Verification with SDL to PROMELA Translation

Autori
Blašković, Bruno ; Rubčić, Alen

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
MIPRO - Računala u komunikacijama / Golubić, Stjepan - Rijeka : Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1998, 75-78

Skup
Mipro '98

Mjesto i datum
Opatija, Hrvatska, 18.05.1998. - 22.05.1998

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Domaća recenzija

Ključne riječi
telecommunications; signaling protocols; SDL; PROMELA

Sažetak
Signaling Protocol Verification with SDL to PROMELA Translation

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika



POVEZANOST RADA

Projekti:
036030

Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Bruno Blašković (autor)

Citiraj ovu publikaciju:

Blašković, Bruno; Rubčić, Alen
Signaling Protocol Verification with SDL to PROMELA Translation // MIPRO - Računala u komunikacijama / Golubić, Stjepan (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1998. str. 75-78 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)
Blašković, B. & Rubčić, A. (1998) Signaling Protocol Verification with SDL to PROMELA Translation. U: Golubić, S. (ur.)MIPRO - Računala u komunikacijama.
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Rub\v{c}i\'{c}, Alen}, editor = {Golubi\'{c}, S.}, year = {1998}, pages = {75-78}, keywords = {telecommunications, signaling protocols, SDL, PROMELA}, title = {Signaling Protocol Verification with SDL to PROMELA Translation}, keyword = {telecommunications, signaling protocols, SDL, PROMELA}, publisher = {Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO}, publisherplace = {Opatija, Hrvatska} }
@article{article, author = {Bla\v{s}kovi\'{c}, Bruno and Rub\v{c}i\'{c}, Alen}, editor = {Golubi\'{c}, S.}, year = {1998}, pages = {75-78}, keywords = {telecommunications, signaling protocols, SDL, PROMELA}, title = {Signaling Protocol Verification with SDL to PROMELA Translation}, keyword = {telecommunications, signaling protocols, SDL, PROMELA}, publisher = {Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO}, publisherplace = {Opatija, Hrvatska} }

Podijeli:





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