Skip navigation
中文
English
DSpace
CRIS
首頁
單位
研究人員
研究成果檢索
分類瀏覽
單位
研究人員
研究成果檢索
學術出版
幫助
登入
中文
English
NTU Scholars
研究成果檢索
瀏覽 的方式: 作者
或是輸入前幾個字:
跳到:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
排序方式:
升冪
降冪
結果/頁面
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
作者/紀錄:
全部
1
5
10
15
20
25
30
35
40
45
50
顯示 37 到 44 筆資料,總共 44 筆
< 上一頁
公開日期
標題
作者
來源出版物
scopus
WOS
全文
2001
以時間邏輯為表示法的模組細步化
蔡益坤
2004
元件合成軟體之形式化驗證初探
蔡益坤
2000
分散式互斥與物件追蹤
蔡益坤
1999
分散式系統的模組化驗證
蔡益坤
1997
反應式系統的可組合規格與自動驗證
蔡益坤
2002
可容錯之行動物件定位演算法
蔡益坤
2008
從假設保證式規格自動合成反應式模組之研究
蔡益坤
1998
時間邏輯式規格的自動分析與可組合性
蔡益坤