Pregled po CROSBI profilu: Bruno Blašković (CROSBI Profil: 12106, MBZ: 126634)

51.

Blašković, Bruno; Rubčić, Alen

Signaling Protocol Verification with SDL to PROMELA Translation // MIPRO - Računala u komunikacijama / Golubić, Stjepan (ur.).
Rijeka: Mipro Rijeka, 1998. str. 75-78 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)

52.

Blašković, Bruno

Petri Net Modeling Signaling Protocols Syntesis // Melecon '98 Proceedings / Weiss, Antony J. (ur.).
Tel Aviv, Izrael: Institute of Electrical and Electronics Engineers (IEEE), 1998. str. 706-710 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

53.

Rubčić, Alen

Provjera osnovnog signalizacijskog protokola za integriranu mrežu, 1997., diplomski rad, Fakultet Elektrotehnike i računarstva, Zagreb

54.

Blašković, Bruno

Signalling Protocol Synthesis: Intelligent Network Experiment // Proceedings of 5th Conference on Software in Telecommunications and Computer Networks / Rožić, N. ; Begušić, D. (ur.).
Split: Fakultet elektrotehnike, strojarstva i brodogradnje Sveučilišta u Splitu, 1997. str. 123-132 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

55.

Blašković, Bruno; Lovrek, Ignac

Verification of Signal Protocols for Telecommunication Services in Intelligent Network // Proceedings of 1st COST 247 International Workshop on Applied Formal Methods in System Design / Brezočnik, Zmago ; Kapus, Tatjana (ur.).
Maribor: Faculty of Electrical Engineering and Computer Science, University of Maribor, 1996. str. 156-165 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

lms.uni-mb.si

56.

Blašković, Bruno; Brajdić, Alen

Verifikacija signalizacijskih procedura analizom dostupnosti // Proceedings of MTE'95, Mipro95 / Golubić, Stjepan (ur.).
Rijeka: Hrvatsko društvo Mipro Rijeka, 1995. str. 2-166 (predavanje, domaća recenzija, cjeloviti rad (in extenso), znanstveni)

57.

Brajdić, Alen

Provjera signalizacijskih protokola postupkom perturbacije stanja, 1995., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb

58.

Blašković, B.

Signalling Procedures Definition in Rule Based Environment // Telecommunication and Information Systems 3rd Intl Conf.
Žilina: Slovak Telecom, 1995. S1-9, 7 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

59.

Blašković, Bruno;

Interpretacija signalizacijskog protokola u domeni obrade znanja // MIPRO94 MTE-Mikroračunala u telekomunikacijama / Vujatovic, Mirko (ur.).
Rijeka: HRVATSKO DRUŠTVO ZA MIKROPROCESORSKE, PROCESNE I INFORMACIJSKE SUSTAVE, MIKROELEKTRONIKU I ELEKTRONIKU - MIPRO, 1994. str. 3-161 (predavanje, recenziran, cjeloviti rad (in extenso), znanstveni)

60.

Blašković, Bruno

AWK Simulation of Petri Nets for Signalling Protocol Validation // ITA. Informacija telekomunikacije automati, 13 (1994), 1-3; 237-244 (međunarodna recenzija, članak, znanstveni)

61.

Blašković, Bruno

Interpreted Petri Nets as a validation tool for telecommunication service protocol synthesis // ITA. Informacija telekomunikacije automati, 12 (1993), 1-3; 379-386 (međunarodna recenzija, članak, znanstveni)

62.

Bruno Blašković; Mladen Bahlen

Interaktivni generator komandi za programiranje komutacijskog sistema // Proceedings 32nd SYMPOSIUM ETAN IN MARINE / Jerič, Viljem (ur.).
Zadar: Society ETAN in Marine, 1990. str. 285-288 (predavanje, domaća recenzija, kratko priopćenje, stručni)

63.

Blašković, Bruno; Gabri, Sanja

Verifikacija 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)

64.

Bahlen, Mladen

Generator komandi za programiranje usluga, 1989., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb

65.

Lovrek, I.; Kos, M.; Blašković, B.; Gračanin, D.; Mikuc, M.

Experimental Expert Tools for Diagnostic in Telecommunication System and Network Management // Proceedingd 6th IMEKO TC 10 Symphosium Technical Diagnmostic / Kozak, J. (ur.).
Prag: The Hause of Technology, 1989. str. 551-554 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

66.

Gabri, Sanja

Verifikacija protokola metodom duologa, 1988., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb

67.

Mikac, Branko; Blašković, Bruno

Metode određivanja pouzdanosti komunikacijske mreže // ITA. Informacija telekomunikacije automati, 4 (1985), 2-4; 317-337 (međunarodna recenzija, članak, znanstveni)

68.

Blašković, Bruno; Zorić, Milan;

Osiguranje kvalitete programske podrške izvedene u telekomunikacijskom jeziku procedurnog tipa // Automatika : časopis za automatiku, mjerenje, elektroniku, računarstvo i komunikacije, 26 (1985), 1-2; 97-101 (recenziran, članak, znanstveni)

69.

Blašković, Bruno; Marić, Vladimir

Strukturiranje podataka za signalizacijske funkcije komutacijskog sistema ETC 960 // ITA. Informacija telekomunikacije automati, 2 (1983), 1-2; 117-130 (domaća recenzija, članak, znanstveni)

70.

Bruno Blašković

Funkcijski blok registarske signalizacije u sistemu ETC 960, 1982., diplomski rad, Fakultet elektrotehnike i računarstva, Zagreb