| |
| 2002 | ||
|---|---|---|
| 2 | EE | Pao-Ann Hsiung, Chuen-Hau Gao: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 2001 | ||
| 1 | EE | 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: 109-110 |
| 1 | Yu-Ming Chang | [1] |
| 2 | Shu-Yu Cheng | [1] |
| 3 | Pao-Ann Hsiung | [1] [2] |
| 4 | Feng-Shi Su | [1] |