第 1 到 6 筆結果,共 6 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2007 | 程式執行時間分析的新理論(2/3) | 王凡 | ||||
2 | 2006 | 複雜嵌入式系統的正規整合式發展技術架構(2/3) | 王凡 | ||||
3 | 2004 | 即時系統全符號式驗證工具的底層基礎技術(3/3) | 王凡 | ||||
4 | 2004 | 混合系統的全符號式自動化分析軟體工具環境(2/3) | 王凡 | ||||
5 | 2003 | 即時系統全符號式驗證工具的底層基礎技術(2/3) | 王凡 | ||||
6 | 2003 | 混合系統的全符號式自動化分析軟體工具環境(1/3) | 王凡 |