Fingeraftryk
Dyk ned i forskningsemnerne om 'UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Petr Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
90
Citationer
(Scopus)