izvor podataka: crosbi
!
Signaling Protocol Verification with SDL to PROMELA Translation (CROSBI ID 466131)
Prilog sa skupa u zborniku | izvorni znanstveni rad | domaća recenzija
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-x
Podaci o odgovornosti
Blašković, Bruno ; Rubčić, Alen
engleski
Signaling Protocol Verification with SDL to PROMELA Translation
Signaling Protocol Verification with SDL to PROMELA Translation
telecommunications; signaling protocols; SDL; PROMELA
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
75-78-x.
1998.
objavljeno
Podaci o matičnoj publikaciji
MIPRO - Računala u komunikacijama
Golubić, Stjepan
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO
Podaci o skupu
Mipro '98
predavanje
18.05.1998-22.05.1998
Opatija, Hrvatska
Povezanost rada
Povezane osobe
Povezane ustanove