Pregled po CROSBI profilu: Sanja Gabri (CROSBI Profil: 3733, MBZ: 166945)
Pronađeno 2 radova
-
1.Blašković, Bruno; Gabri, SanjaVerifikacija signalizacijskog protokola primjenom logičkog programiranja // Proceedings of MTE'89, Mipro89 / Golubić, Stjepan (ur.).
Rijeka: Hrvatsko društvo Mipro Rijeka, 1989. MTE89, 5 (predavanje, domaća recenzija, kratko priopćenje, znanstveni) -
2.Gabri, SanjaVerifikacija protokola metodom duologa, 1988., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb
