The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Philip Sheu, C. Choy, Yousheng Tian. The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks. IJSSCI, 2(2):105-122, 2010. [doi]

Authors

Yingxu Wang

This author has not been identified. Look up 'Yingxu Wang' in Google

Cyprian F. Ngolah

This author has not been identified. Look up 'Cyprian F. Ngolah' in Google

Guangping Zeng

This author has not been identified. Look up 'Guangping Zeng' in Google

Philip Sheu

This author has not been identified. Look up 'Philip Sheu' in Google

C. Choy

This author has not been identified. Look up 'C. Choy' in Google

Yousheng Tian

This author has not been identified. Look up 'Yousheng Tian' in Google