Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy. Resource Scheduling in Dependable Integrated Modular Avionics. In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. pages 14-23, IEEE Computer Society, 2000. [doi]
Abstract is missing.