Prilog sintezi signalizacijskih protokola za komutiranje telekomunikacijskih usluga
Ključne riječi: sinteza protokola, inteligentna mreža, specifikacija protokola usluge, verifikacija protokola, Petrijeva mreža, ekspertni sustav, formalne tehnike opisa, CLIPS, PROMELA/SPIN
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:7734 |
|---|---|
| Glavni autor: | Blašković, Bruno (-) |
| Ostali autori: | Lovrek, Ignac (Thesis advisor) |
| Vrsta građe: | Knjiga |
| Jezik: | hrv |
| Impresum: |
Zagreb :
B. Blašković ; Fakultet elektrotehnike i računarstva,
1996.
|