C. Choy

According to our database, C. Choy authored at least 2 papers in 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2010

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, 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+): Conceptual and Architectural Frameworks.

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian

Int. J. Softw. Sci. Comput. Intell., 2010