C. Choy

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

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