VRSTA GRADIVA | analitična raven (sestavni del), tekstovno gradivo, tiskano, 1.01 - izvirni znanstveni članek |
DRŽAVA IZIDA | Slovenija |
LETO IZIDA | 2013 |
JEZIK BESEDILA/IZVIRNIKA | angleški |
PISAVA | latinica |
AVTOR | Brezočnik, Zmago - avtor |
ODGOVORNOST | Vlaovič, Boštjan - avtor // Vreže, Aleksander - avtor |
NASLOV | Model checking using Spin and SpinRCP = Preverjanje modelov z uporabo orodij Spin in SpinRCP |
V PUBLIKACIJI | Informacije MIDEM. - ISSN 0352-9045.. - ǂVol.ǂ43, ǂno. ǂ4 (Dec. 2013), str. 235-250. |
OPOMBE | Bibliografija: str. 249-250 // Abstract ; Izvleček |
ELEKTRONLOKACIJA/DOSTOP | Dostopno tudi na: http://www.midem-drustvo.si/Journal%20papers/MIDEM_43(2013)4p235.pdf |
PREDMETNE OZNAKE | porazdeljeni sistemi // preverjanje modelov //verifikacija // modeliranje // simulacija // Promela // Spin // SpinRCP |
UDK | 004.75 |