Fingeraftryk
Dyk ned i forskningsemnerne om '30 Years of Statistical Model Checking'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
30 Years of Statistical Model Checking
Kim G. Larsen*, Axel Legay
*Kontaktforfatter
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling
1
Citationer
(Scopus)