| |
| 2003 | ||
|---|---|---|
| 2 | EE | Pao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254 |
| 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 | Chuen-Hau Gao | [1] |
| 3 | Pao-Ann Hsiung | [1] [2] |
| 4 | Feng-Shi Su | [1] |