Schedulability of Herschel revisited using statistical model checking

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

11 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Schedulability of Herschel revisited using statistical model checking'. Sammen danner de et unikt fingeraftryk.

Computer Science