Results 1-19 of 19 (Search time: 0.004 seconds).
Start Date | Title | P-Investigator | Funding Organization/經費來源 |
---|---|---|---|
2015 | 偵測網站應用程式安全弱點的模組化、漸進式分析 | YIH-KUEN TSAY | National Science and Technology Council |
2014 | 即時監控程式正規驗證之理論基礎 | YIH-KUEN TSAY | National Science and Technology Council |
2013 | 建立一個大規模的小型Buchi自動機及其等價時序邏輯式之收集 | YIH-KUEN TSAY | National Science and Technology Council |
2013 | 核能儀控系統應用正規方法發展與驗證技術研究 | YIH-KUEN TSAY | Institute of Nuclear Energy Research, AEC |
2013 | 學術領域全面提升/管理學院/資訊管理學系 | YIH-KUEN TSAY | Ministry of Education |
2012 | NSC-JST Information Security, Network security and Cloud Computing Workshop | YIH-KUEN TSAY | National Science and Technology Council |
2012 | 形式化程式建構、分析、驗證之方法與應用-總計畫(I) | YIH-KUEN TSAY | National Science and Technology Council |
2012 | 形式化程式建構、分析、驗證之方法與應用-子計畫二:以進階的靜態分析與動態測試技術驗證網站應用程式(I) | YIH-KUEN TSAY | National Science and Technology Council |
2012 | 核能儀控系統軟體模組安全功能驗證研究 | YIH-KUEN TSAY | Institute of Nuclear Energy Research, AEC |
2011 | 具指標變數與多執行緒程式之模組化驗證 | YIH-KUEN TSAY | National Science and Technology Council |
2011 | 核能儀控系統電腦化發展之安全功能認證研究 | YIH-KUEN TSAY | Institute of Nuclear Energy Research, AEC |
2010 | 程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成 | YIH-KUEN TSAY | National Science and Technology Council |
2009 | 程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成 | YIH-KUEN TSAY | National Science and Technology Council |
2008 | 程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成 | YIH-KUEN TSAY | National Science and Technology Council |
2006 | 從假設保證式規格自動合成反應式模組之研究 | YIH-KUEN TSAY | National Science and Technology Council |
2005 | 運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證 | YIH-KUEN TSAY | National Science and Technology Council |
2004 | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | YIH-KUEN TSAY | National Science and Technology Council |
2003 | 元件合成軟體之形式化驗證初探 | YIH-KUEN TSAY | National Science and Technology Council |
2001 | 可容錯之行動物件定位演算法 | YIH-KUEN TSAY | National Science and Technology Council |