30 Years of Statistical Model Checking

Kim G. Larsen*, Axel Legay

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

Fingeraftryk

Dyk ned i forskningsemnerne om '30 Years of Statistical Model Checking'. Sammen danner de et unikt fingeraftryk.