Pregled po CROSBI profilu: Dario Krešić (CROSBI Profil: 24544, MBZ: 306050)

Pronađeno 4 radova

Prikaz po CROSBI kategorijama

1.

Ivković, Nikola; Kresic, Dario; Hielscher, Kai-Steffen; German, Reinhard
Verifying Worst Case Delays in Controller Area Network // Lecture Notes in Computer Science, 7201 (2012), 91-105 (međunarodna recenzija, članak, znanstveni)

1.

Krešić, Dario
Verifying Real-Time Properties by Intelligent Parsing // Proceedings 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems / W. Chen et al. (ur.).
Shanghai: Institute of Electrical and Electronics Engineers, Inc., 2009. str. 527-531 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
2.

Krile, Srećko; Krešić, Dario
Congestion Control for Highly Loaded DiffServ/MPLS Networks // Proceedings of 19th Central European Conference on Informatics and Inteligent Systems / Boris Aurer etc (ur.).
Varaždin: Fakultet organizacije i informatike Sveučilišta u Zagrebu, 2008. str. 241-246 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

1.

Krešić, Dario
O nekim problemima verifikacije vezanim uz vremenske automate // Seminar za teorijsko računarstvo
Zagreb, Hrvatska, 2010. (pozvano predavanje, neobjavljeni rad, znanstveni)