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. 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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.