Izbor
Projekti
-
doktorske disertacije
V nadaljevanju podajamo področja raziskav, ki bi bistveno prispevala k uporabi formalne verifikacije v telekomunikacijski industriji. Konkretnih tem ... [več] -
Algoritmi za avtomatsko tvorbo statičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
Razpisana: 28. 11. 2005 Dodeljena: Zagovarjana: Študent: Opis naloge: Zaželjena znanja: SDL, C++, Java [več] -
Integracija orodja sdl2pml v razvojno okolje Eclipse
Razpisana: 28. 11. 2005 ... [več]