The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. - Yingxu Wang 001; Cyprian F. Ngolah; Guangping Zeng; Phillip C.-Y. Sheu; C. Choy; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2010)

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors. - Yingxu Wang 001; Guangping Zeng; Cyprian F. Ngolah; Phillip C.-Y. Sheu; C. Choy; Yousheng Tian (Int. J. Softw. Sci. Comput. Intell., 2010)