Schedulability of Herschel revisited using statistical model checking

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

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)

Search results