Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Okolje za formalno verifikacijo varnostno kritičnih sistemov
Tim Kovše, Zmago Brezočnik
Magistrsko delo
Oznake: varnost komunikacijskih naprav;elektronske naprave;varnostno kritični sistemi;testiranje naprav;formalna verifikacija;orodje Spin;programska orodja;platforma bogatega odjemalca;
V zadnjih desetletjih je področje informacijskih in komunikacijskih tehnologij doživelo izjemno pozornost tako na področju razvoja kot tudi na področju njihove rabe. Kompleksnost razvoja se je povečala, naprave, od katerih so pogosto odvisna človeška življenja, pa so postale vseprisotne. Nepravilnos ...
Leto: 2011 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Integracija orodja Spin v razvojno okolje Eclipse
Tim Kovše, Boštjan Vlaovič, Aleksander Vreže
Diplomsko delo
Oznake: sistemi s sočasnostjo;razvojno okolje Eclipse;vtičnik;Promela;Spin;MSC;
Integracija orodja Spin v razvojno okolje Eclipse : diplomska naloga univerzitetnega študijskega programa
Leto: 2008 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: