Įkeliama...
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Šaltinių per metus
Dubliuoti šaltiniai
Toliau nurodyti straipsniai sujungti Mokslinčiuje. Jų
suderinti šaltiniai
skaičiuojami tik pirmajam straipsniui.
Sujungti šaltiniai
Į grafą „Cituota“ įeina šaltiniai į toliau nurodytus straipsnius Mokslinčiuje. Pažymėti
*
gali skirtis nuo straipsnių profilyje.
Pridėti bendraautorius
Bendraautoriai
Stebėti
Nauji šio autoriaus straipsniai
Nauji šio autoriaus šaltiniai
Nauji su šio autoriaus tyrimu susiję straipsniai
El. pašto adresas atnaujinimams
Baigta
Mano profilis
Mano biblioteka
Metrika
Įspėjimai
Nustatymai
Registruotis
Registruotis
Gauti savo profilį
Cituota
Visi
Nuo 2019
Šaltiniai
3
2
h-rodyklė
1
1
i10-rodyklė
0
0
0
2
1
2018
2019
2020
2021
2022
1
2
Viešas pasiekiamumas
Peržiūrėti viską
Peržiūrėti viską
1 straipsnis
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Stebėti
Rok Vogrin
Teaching Assistant,
University of Maribor
Patvirtintas el. paštas um.si
telecommunications
formal methods
computer networks
network verification
Straipsniai
Cituota
Viešas pasiekiamumas
Pavadinimas
Rūšiuoti
Rūšiuoti pagal šaltinius
Rūšiuoti pagal metus
Rūšiuoti pagal pavadinimą
Cituota
Cituota
Metai
Formalna specifikacija in verifikacija lastnosti uravnavanja laktoznega operona z orodjem EST
R Meolic, T Kapus
Elektrotehniski Vestnik 84 (5), 268-276
, 2017
3
2017
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
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–4
Rodyti daugiau
Privatumas
Sąlygos
Pagalba
Apie Mokslinčių
Paieškos pagalba