Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2003 | 即時系統全符號式驗證工具的底層基礎技術(2/3) | 王凡 | ||||
2004 | 即時系統全符號式驗證工具的底層基礎技術(3/3) | 王凡 | ||||
2003 | 混合系統的全符號式自動化分析軟體工具環境(1/3) | 王凡 | ||||
2004 | 混合系統的全符號式自動化分析軟體工具環境(2/3) | 王凡 | ||||
2007 | 程式執行時間分析的新理論(2/3) | 王凡 | ||||
2006 | 複雜嵌入式系統的正規整合式發展技術架構(2/3) | 王凡 |