Volgen
Rok Vogrin
Rok Vogrin
Teaching Assistant, University of Maribor
Geverifieerd e-mailadres voor um.si
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4