Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
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
Krešić, Dario
O nekim problemima verifikacije vezanim uz vremenske automate // Seminar za teorijsko računarstvo
Zagreb, Hrvatska, 15.02.2010-15.02.2010
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 (IEEE), 2009. str. 527-531
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
