Chuen-Hau Gao

Publication Activity (10 Years)

Years Active: 2001-2002
Publications (10 Years): 0

Publications

Pao-Ann Hsiung, Chuen-Hau Gao
Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang
Verifiable Embedded Real-Time Application Framework. IEEE Real Time Technology and Applications Symposium (2001)