Segui
Rok Vogrin
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4