Seguir
Rok Vogrin
Rok Vogrin
Teaching Assistant, University of Maribor
Dirección de correo verificada de um.si
Título
Citado por
Citado por
Año
Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST
R Meolic, T Kapus
Elektrotehniski Vestnik 84 (5), 268-276, 2017
32017
Generating and Employing Witness Automata for ACTLW Formulae
R Meolic, T Kapus
IEEE Access 10, 9889-9905, 2022
2022
Tvorjenje avtomatov linearnih končnih prič za formule ACTLW z orodjem EST
R Vogrin
Univerza v Mariboru, Fakulteta za elektrotehniko, računalništvo in informatiko, 2018
2018
Formalna verifikacija predajne procedure mobilnega omrežja v okolju TLA+ Toolbox
R Vogrin
Univerza v Mariboru, Fakulteta za elektrotehniko, računalništvo in informatiko, 2015
2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4