Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2005 | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | 蔡益坤 | ||||
2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 | ||||
2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
2000 | 分散式互斥與物件追蹤 | 蔡益坤 | ||||
1999 | 分散式系統的模組化驗證 | 蔡益坤 | ||||
1997 | 反應式系統的可組合規格與自動驗證 | 蔡益坤 | ||||
2002 | 可容錯之行動物件定位演算法 | 蔡益坤 | ||||
2008 | 從假設保證式規格自動合成反應式模組之研究 | 蔡益坤 | ||||
1998 | 時間邏輯式規格的自動分析與可組合性 | 蔡益坤 |