| |
| 2007 | ||
|---|---|---|
| 3 | EE | Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin: Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers 56(5): 692-705 (2007) |
| 2005 | ||
| 2 | EE | Pao-Ann Hsiung, Yen-Hung Lin: Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE 2005: 290-304 |
| 1 | Pao-Ann Hsiung, Yen-Hung Lin: Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601 | |
| 1 | Yean-Ru Chen | [3] |
| 2 | Pao-Ann Hsiung | [1] [2] [3] |