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: Mipro Rijeka, 1998. str. 75-78 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)


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 : Mipro Rijeka, 1998, 75-78

Skup
Mipro '98

Mjesto i datum
Opatija, Hrvatska, 18-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


Projekt / tema
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: Mipro Rijeka, 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, 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 = {Mipro Rijeka}, publisherplace = {Opatija, Hrvatska} }