• Arhiv
 

Arhiv

izbrano ...

7.05.2014
Omrežja prihodnosti - 30. delavnica VITEL
7.03.2013
Regulator hlajenja razsmernika
6.04.2012
Sistem sledenja igralcu za igralne salone
15.03.2012
Pametno stanovanje
14.02.2012
Telekomunikacije in zasebnost
4.01.2012
Naprava za sušenje gela
26.09.2011
Robot "Micromouse"
26.09.2011
Brezžični prenos podatkov med mikrokrmilniki
29.09.2010
Povezava programske naročniške centrale s sistemom za upravljanje
1.08.2008
Integracija orodja Spin v razvojno okolje Eclipse
16.12.2007
Nadzor uporabe brezžičnih lokalnih omrežij
21.11.2006
Predstavitev raziskovalnega dela 2006
29.03.2006
Razširitev avtomatskega modeliranja SDL specifikacij v Promeli z vključevanjem gradnikov v jeziku C in novim modelom diskretnega časa
28.11.2005
doktorske disertacije
28.11.2005
Algoritmi za avtomatsko tvorbo statičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
28.11.2005
Integracija orodja sdl2pml v razvojno okolje Eclipse
28.11.2005
Integracija orodja Spin v razvojno okolje Eclipse
28.11.2005
Vodena abstrakcija specifikacije v jeziku SDL
28.11.2005
Vzorci in algoritmi za avtomatsko tvorbo dinamičnega dela specifikacije okolja za preverjano specifikacijo v jeziku SDL
28.11.2005
Prikaz specifikacije v jeziku SDL v razvojnem okolju Eclipse
28.11.2005
Prikaz specifikacije v jeziku Promela v razvojnem okolju Eclipse
31.05.2005
Predstavitev LMS ob obisku podjetja Iskratel
4.02.2005
Delavnica o formalnih metodah, 2. del
4.11.2004
Delavnica o formalnih metodah
7.09.2004
Avtomatska tvorba modelov s sondami iz specifikacije sistema v jeziku SDL
30.06.2003
Testno okolje za protokol MGCP
24.03.2003
Implementacija razpoznavalnika in konstruktorja protokola MGCP
18.10.2000
Symposium Extra Skills for Young Engineers 2000

... z videoposnetkom

14.11.2014
12. Jabuka
4.06.2014
12. Konjičanka
14.11.2013
11. Jabuka
11.07.2013
Prototip prilagodljivega bralnika RFID
7.03.2013
Regulator hlajenja razsmernika

... blog Vlaovič