Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

17 Citations (Scopus)
627 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal'. Together they form a unique fingerprint.

Computer Science