Chuen-Hau Gao

According to our database, Chuen-Hau Gao authored at least 2 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.

Pao-Ann Hsiung, Chuen-Hau Gao

Proceedings of the Theory and Practice of Timed Systems, 2002

2001

Verifiable Embedded Real-Time Application Framework.

Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001