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
Pek, Edgar ; Bogunović, Nikola
Verification of Infinite State Mutual Exclusion Protocols // Proceedings of the Joint Conferences Computers in Technical systems and Intelligent systems / Budin, Leo ; Ribarić Slobodan (ur.). Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2005. str. 19-24-x
Bogunović, Nikola ; Grudenić, Igor ; Pek, Edgar
A Synthesized Framework for Formal Verification of Computing Systems // Journal of systemics, cybernetics and informatics, 1 (2003), 6; 18-23
Pek, Edgar ; Bogunović, Nikola
Formal Verification of Communication Protocols in Distributed Systems // Computers in technical systems and intelligent systems / Budin, Leo ; Ribarić, Slobodan (ur.). Rijeka: Linia Vera, 2003. str. 44-49-x
Bogunović, Nikola ; Pek, Edgar
Verification of mutual exclusion algorithms with SMV system // Eurocon 2003, Computer as a tool, Proceedings Volume II / Zajc, Baldomir ; Tkalčić, Marko (ur.). Piscataway (NJ): Institute of Electrical and Electronics Engineers (IEEE), 2003. str. 12-25
Pek, Edgar ; Lončarić, Sven ; Margan, Anamarija
Internet-based medical teleconsultation system // Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis / Lončarić, Sven ; Babić, Hrvoje (ur.). Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2001. str. 657-661