Fingeraftryk
Dyk ned i forskningsemnerne om 'Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
Petr Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Li Guangyuan, Danny Bøgsted Poulsen, Amelie Stainer
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
33
Citationer
(Scopus)