Izbor
Projekti
-
Pametne stavbe
Sodobne stavbe vsebujejo številne sisteme, tako ogrevalne, varnostne, protipožarne, za razsvetljavo, različne gospodinjske stroje, aparate zabavne ... [več] -
Delavnica o formalnih metodah
S kolegi iz Zagreba smo organizirali delavnico o formalnih metodah z namenom predstavitve aktualnih raziskav in pregledom možnosti za sodelovanje. ... [več] -
Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL
Dodeljena: 1. 10. 1999 Zagovarjana: 8. 9. 2004 Študent: Boštjan Vlaovič ... [več]