Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman. Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems. In 21st IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapore, Singapore, May 29-31, 2018. pages 51-58, IEEE Computer Society, 2018. [doi]
Abstract is missing.