Jin Hyun Kim, Jae-Hwan Sim, Chang Jin Kim, Jin-Young Choi. Formal Embedded Operating System Model Based on Resource-Based Design Framework. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 244-249, IEEE Computer Society, 2007. [doi]
Abstract is missing.