Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks

Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)
4 Downloads (Pure)

Search results