Fluid Model-Checking in UPPAAL for Covid-19

Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Marius Mikučionis, Marco Antonio Muniz Rodriguez, Danny Bøgsted Poulsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Fluid Model-Checking in UPPAAL for Covid-19'. Sammen danner de et unikt fingeraftryk.

Earth and Planetary Sciences

Physics

Computer Science

Mathematics