Enabling Compositionality for Multicore Timing Analysis

Sebastian Hahn 0001, Michael Jacobs 0002, Jan Reineke. Enabling Compositionality for Multicore Timing Analysis. In Alain Plantec, Frank Singhoff, Sébastien Faucou, Luís Miguel Pinho, editors, Proceedings of the 24th International Conference on Real-Time Networks and Systems, RTNS 2016, Brest, France, October 19-21, 2016. pages 299-308, ACM, 2016. [doi]

Abstract

Abstract is missing.