第 1 到 8 筆結果,共 8 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2008 | 從假設保證式規格自動合成反應式模組之研究 | 蔡益坤 | ||||
2 | 2004 | 元件合成軟體之形式化驗證初探 | 蔡益坤 | ||||
3 | 2002 | 可容錯之行動物件定位演算法 | 蔡益坤 | ||||
4 | 2001 | 以時間邏輯為表示法的模組細步化 | 蔡益坤 | ||||
5 | 2000 | 分散式互斥與物件追蹤 | 蔡益坤 | ||||
6 | 1999 | 分散式系統的模組化驗證 | 蔡益坤 | ||||
7 | 1996 | Assumption/guarantee specifications in linear-time temporal logic | Jonsson, Bengt; Tsay, Yih-Kuen | Theoretical Computer Science | 36 | 27 | |
8 | - | Introducing the sequence model for text retrieval | Tsay, Yih-Kuen ; Chen, Yu-Fang |