Pregled bibliografske jedinice broj: 1194020
Verifikacija signalizacijskog protokola primjenom logičkog programiranja
Verifikacija signalizacijskog protokola primjenom logičkog programiranja // Proceedings of MTE'89, Mipro89 / Golubić, Stjepan (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 1989. MTE89, 5 (predavanje, domaća recenzija, kratko priopćenje, znanstveni)
CROSBI ID: 1194020 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Verifikacija signalizacijskog protokola primjenom logičkog programiranja
(Signalling Protocol Verification Using Logical Programming)
Autori
Blašković, Bruno ; Gabri, Sanja
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, kratko priopćenje, znanstveni
ISBN
953-6042-15-0
Skup
Proceedings of MTE'89, Mipro89
Mjesto i datum
Rijeka, Hrvatska, 13.06.1989. - 16.06.1989
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Domaća recenzija
Ključne riječi
verifikacija ; signalizacijske procedure ; protokol ; provjera modela ; logičko programiranje ; Prolog
(verification ; signalling procedures ; protocol ; model checking ; logic programming ; Prolog)
Sažetak
U ovom radu je opisana primjena logičkog programiranja za verifikaciju signalizacijskog protokola. Nadalje, metoda duologa je realizirana logičkim programiranjem. Na kraju je dan primjer.
Izvorni jezik
Hrvatski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
