公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2014 | Resistant Learning on the Envelope Bulk for Identifying Anomalous Patterns | Shin-Ying Huang; Fang Yu; Rua-Huan Tsaih; Yennun Huang | ||||
2003 | TCTL Inevitability Analysis of Dense-time Systems | Farn Wang; Geng-Dian Hwang; Fang Yu | TR-IIS-03-006 | |||
2004 | Toward Unbounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang |