公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1999 | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Hsiung, Pao-Ann; Wang, Farn; Kuo, Yue-Sun; FARN WANG | 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China | |||
2003 | Verification of Embedded Systems with BDD-like Data-Structures | FARN WANG | 2nd Workshop on Automated Verification of Infinite-state Systems (AVIS’2003) | |||
1993 | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | 王 凡; Mok, A. K.; Wang, Farn | COMPASS Conference | |||
2014 | Verifying Recursive Programs Using Intraprocedural Analyzers. | Chen, Yu-Fang; Hsieh, Chiao; Tsai, Ming-Hsien; Wang, Bow-Yaw; FARN WANG | Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings | |||
2003 | 即時系統全符號式驗證工具的底層基礎技術(2/3) | 王凡 | ||||
2004 | 即時系統全符號式驗證工具的底層基礎技術(3/3) | 王凡 | ||||
2003 | 混合系統的全符號式自動化分析軟體工具環境(1/3) | 王凡 | ||||
2004 | 混合系統的全符號式自動化分析軟體工具環境(2/3) | 王凡 | ||||
2007 | 程式執行時間分析的新理論(2/3) | 王凡 | ||||
2006 | 複雜嵌入式系統的正規整合式發展技術架構(2/3) | 王凡 |