| |
| 2000 | ||
|---|---|---|
| 4 | EE | Jin-Cherng Lin, Ian Ho: A New Framework for Testing Real-Time Software. COMPSAC 2000: 337- |
| 3 | EE | Jin-Cherng Lin, Ian Ho: A New Perspective on Formal Testing Method for Real-Time Software. EUROMICRO 2000: 2270-2276 |
| 1999 | ||
| 2 | EE | Ian Ho, Jin-Cherng Lin: Generating Test Cases for Real-Time Software by Time Petri Nets Model. Asian Test Symposium 1999: 295-300 |
| 1998 | ||
| 1 | EE | Ian Ho, Jin-Cherng Lin: A Method of Test Cases Generation for Real-Time Systems. ISORC 1998: 249- |
| 1 | Jin-Cherng Lin | [1] [2] [3] [4] |