Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

35 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Schedulability of Herschel-Planck Revisited Using Statistical Model Checking'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science