A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.

Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen

Browse the full FMICS paper archive.