Pregled bibliografske jedinice broj: 1089362
AWK Simulation of Petri Nets for Signalling Protocol Validation
AWK Simulation of Petri Nets for Signalling Protocol Validation // ITA. Informacija telekomunikacije automati, 13 (1994), 1-3; 237-244 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 1089362 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
AWK Simulation of Petri Nets for Signalling Protocol Validation
Autori
Blašković, Bruno
Izvornik
ITA. Informacija telekomunikacije automati (0351-7748) 13
(1994), 1-3;
237-244
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
AWK language ; protocol synthesis ; validation ; signalling protocol ; Petri Net ;
Sažetak
This paper is a part of protocol design methodology. First, some general properties about protocol synthesis are analyzed. Special attention is paid to obtained protocol properties. Further on, model is introduced. At the end, implementation and example have been described.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika, Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Bruno Blašković
(autor)
