-
- Znanost
- Vzorci in algoritmi za avtomatsko tvorbo dinamičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
28. 11. 2005
Vzorci in algoritmi za avtomatsko tvorbo dinamičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
Razpisana: 28. 11. 2005
Dodeljena:
Zagovarjana:
Študent:
Opis naloge:
Zaželjena znanja: SDL, Promela, MSC, LTL, C++, Java
Druge objave
10.11.2018
20.10.2018
22.09.2018
8.09.2018
7.05.2018
27.04.2018