計畫
(Principal Investigator)


第 1 到 22 筆結果，共 22 筆。

啟始時間標題P-Investigator經費來源
2022使用者經驗性質之智慧型自動驗證技術FARN WANGNational Science and Technology Council
2017基於賽局理論的智慧型黑箱測試雲端服務之理論與實作FARN WANGNational Science and Technology Council
2016雲端服務與行動運算的自動化驗證技術FARN WANGNational Science and Technology Council
2015雲端服務與行動運算的自動化驗證技術FARN WANGNational Science and Technology Council
2014雲端服務與行動運算的自動化驗證技術FARN WANGNational Science and Technology Council
2013OpenMP並行程式自動化驗證理論與工具之開發FARN WANGNational Science and Technology Council
2012OpenMP並行程式自動化驗證理論與工具之開發FARN WANGNational Science and Technology Council
2011OpenMP並行程式自動化驗證理論與工具之開發FARN WANGNational Science and Technology Council
2010網路環境下之嵌入式軟體的自動化測試理論與技術FARN WANGNational Science and Technology Council
2009網路環境下之嵌入式軟體的自動化測試理論與技術FARN WANGNational Science and Technology Council
2008網路環境下之嵌入式軟體的自動化測試理論與技術FARN WANGNational Science and Technology Council
2007複雜嵌入式系統的正規整合式發展技術架構(3/3)FARN WANGNational Science and Technology Council
2007程式執行時間分析的新理論(3/3)FARN WANGNational Science and Technology Council
2006複雜嵌入式系統的正規整合式發展技術架構(2/3)FARN WANGNational Science and Technology Council
2006程式執行時間分析的新理論(2/3)FARN WANGNational Science and Technology Council
2005程式執行時間分析的新理論(1/3)FARN WANGNational Science and Technology Council
2005複雜嵌入式系統的正規整合式發展技術架構(1/3)FARN WANGNational Science and Technology Council
2004混合系統的全符號式自動化分析軟體工具環境(3/3)FARN WANGNational Science and Technology Council
2003混合系統的全符號式自動化分析軟體工具環境(2/3)FARN WANGNational Science and Technology Council
2003即時系統全符號式驗證工具的底層基礎技術(3/3)FARN WANGNational Science and Technology Council
2002即時系統全符號式驗證工具的底層基礎技術2/3FARN WANGNational Science and Technology Council
2002混合系統的全符號式自動化分析軟體工具環境(1/3)FARN WANGNational Science and Technology Council