Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST : magistrsko delo /

by Vogrin, Rok, 1994-
Published 2018

Kaj dogaja na "netu" : naravoslovno-tehniški dan za učence SERŠ Maribor, na UM FERI, 29. januar 2021 (prek MS Teams) /

by Vogrin, Rok, 1994-

Kaj dogaja na "netu" : naravoslovno-tehniški dan za učence Škofijske gimnazije Antona Martina Slomška Maribor v ponedeljek, 25. januar 2021 (prek MS Teams) /

by Vogrin, Rok, 1994-

Kaj dogaja na "netu" : naravoslovno-tehniški dan za učence OŠ Franceta Prešerna, 8. april 2021 (prek MS Teams) /

by Vogrin, Rok, 1994-

Formalna verifikacija predajne procedure mobilnega omrežja v okolju TLA+ Toolbox : diplomsko delo /

by Vogrin, Rok, 1994-
Published 2015

Elektronska škatla ugank Electronic puzzle box /

by Vogrin, Rok, 1994-, Vlaovič, Boštjan.

Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST /

by Vogrin, Rok, 1994-, Meolic, Robert., Kapus, Tatjana.