Fingeraftryk
Dyk ned i forskningsemnerne om 'GPU Accelerating Statistical Model Checking for Extended Timed Automata'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
GPU Accelerating Statistical Model Checking for Extended Timed Automata
Oliver S. Bak, Mathias W.B. Christiansen, Oliver V. Eriksen, Sergio Feo-Arenis, Peter G. Jensen, Marcus D. Jensen, Simas Juozapaitis, Kim G. Larsen, Marius Mikučionis*, Marco Muñiz, Andreas Windfeld
*Kontaktforfatter
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review