Pregled bibliografske jedinice broj: 39854
JavaSpin - Distributed System for Verification and Simulation of Communication Protocols
JavaSpin - Distributed System for Verification and Simulation of Communication Protocols // Proceedings of 5th International Conference on Tlecommunications / Kos, Mladen ; Pilipović, Smiljan (ur.).
Zagreb: Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999. str. 293-297 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 39854 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
JavaSpin - Distributed System for Verification and Simulation of Communication Protocols
Autori
Kušek, Mario
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of 5th International Conference on Tlecommunications
/ Kos, Mladen ; Pilipović, Smiljan - Zagreb : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 1999, 293-297
Skup
5th International Conference on Tlecommunications ConTEL 99
Mjesto i datum
Zagreb, Hrvatska, 15.06.1999. - 18.06.1999
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Java ; Protocol ; Distributed systems
Sažetak
This paper is about JavaSpin. JavaSpin is a distributed programming system for verification and simulation of communication protocols. JavaSpin system is based on Spin verification system. Three different distributed architectures are analyzed and solution based on Java RMI proposed for JavaSpin implementation.
Izvorni jezik
Engleski
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Mario Kušek
(autor)
