• 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