Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

Andrej Kiviriga^*, Kim Guldstrand Larsen, Ulrik Nyman

^*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

97 Downloads (Pure)

1 Citationer
1 Konferenceartikel i tidsskrift
1 Ph.d.-afhandling

1 resultater

Filter

2022
Randomized reachability analysis in UPPAAL: fast error detection in timed systems*
Kiviriga, A., Larsen, K. G. & Nyman, U., 17 nov. 2022, I: International Journal on Software Tools for Technology Transfer. 24, 6, s. 1025-1042 18 s.
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Åben adgang
Fil
1 Citationer (Scopus)

27 Downloads (Pure)