Fingeraftryk
Dyk ned i forskningsemnerne om 'Statistical Model Checking for Stochastic Hybrid Systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
51
Citationer
(Scopus)