Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems.

Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman

Browse the full ISORC paper archive.