Fingeraftryk
Dyk ned i forskningsemnerne om 'Time for Statistical Model Checking of Real-Time Systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Time for Statistical Model Checking of Real-Time Systems
A. David, Kim Guldstrand Larsen, A. Legay, Marius Mikucionis, Z. Wang
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
120
Citationer
(Scopus)