| 公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 1999 | Knowledge Verification | E. Juan ; J. Tsai; D. Zhang; A. Sahay | Wiley Encyclopedia of Electrical and Electronics Engineering | |||
| 1999 | Knowledge-Based Software Architecture: Acquisition, Specification, and Verification | E. Juan ; A. Liu; J. Tsai; A. Sahay | IEEE Transactions on Knowledge and Data Engineering | |||
| 2003 | Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems | J. Tsai; A. Sahay; E. Juan | IEEE Transactions on Knowledge and Data Engineering |
