Projects
(Principal Investigator)



Results 1-21 of 21 (Search time: 0.003 seconds).

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