Arhiv
po-letu

Arhiv

letni izbor ...

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

14.11.2005

STORITEV TROJČEK (Triple Play)

21.08.2005

8.08.2005

DIGIT 2005 - Sea of Crete

18.06.2005

... s fotogalerijo

8.08.2005

DIGIT 2005 - Sea of Crete

3.05.2005

DIGIT 2005 - Adriatic

... z videoposnetkom

V tej skupini trenutno še ni zapisov.