Pregled po CROSBI profilu: Edgar Pek (CROSBI Profil: 21263, MBZ: 255446)
Pronađeno 5 radova
-
1.Pek, Edgar; Bogunović, NikolaVerification of Infinite State Mutual Exclusion Protocols // Proceedings of the Joint Conferences Computers in Technical systems and Intelligent systems / Budin, Leo ; Ribarić Slobodan (ur.).
Rijeka: HU MIPRO, 2005. str. 19-24 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
2.Bogunović, Nikola; Grudenić, Igor; Pek, EdgarA Synthesized Framework for Formal Verification of Computing Systems // Journal of systemics, cybernetics and informatics, 1 (2003), 6; 18-23 (podatak o recenziji nije dostupan, članak, znanstveni)
-
3.Bogunović, Nikola; Pek, EdgarVerification 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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
4.Pek, Edgar; Bogunović, NikolaFormal 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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.Pek, Edgar; Lončarić, Sven; Margan, AnamarijaInternet-based medical teleconsultation system // Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis / Lončarić, Sven ; Babić, Hrvoje (ur.).
Zagreb: University computing centar, 2001. str. 657-661 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
