第 1 到 7 筆結果,共 7 筆。
啟始時間 | 標題 | P-Investigator | 經費來源 |
---|---|---|---|
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 |