Rongfei Xu, Li Zhang, Ning Ge, Jing Jiang. Timing Analysis for Microkernel-based Real-Time Embedded System. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 512-511, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.