公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1997 | High-Level Execution Time Analysis | Wang, Farn | TR-IIS-97-009 | |||
1998 | Iterative Refinement and Condensation for State-Graph Construction | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-98-009 | |||
1997 | Parametric Analysis of Computer Systems | Wang, Farn; Hsiung, Pao-Ann | TR-IIS-97-010 | |||
1998 | Scheduling System Verification | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun | TR-IIS-98-014 | |||
1998 | Verification of Dynamic Linear Lists for All Numbers of Processes | Wang, Farn | TR-IIS-98-019 |