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
顯示 105 到 110 筆資料,總共 110 筆
< 上一頁
公開日期
標題
作者
來源出版物
scopus
WOS
全文
2003
即時系統全符號式驗證工具的底層基礎技術(2/3)
王凡
2004
即時系統全符號式驗證工具的底層基礎技術(3/3)
王凡
2003
混合系統的全符號式自動化分析軟體工具環境(1/3)
王凡
2004
混合系統的全符號式自動化分析軟體工具環境(2/3)
王凡
2007
程式執行時間分析的新理論(2/3)
王凡
2006
複雜嵌入式系統的正規整合式發展技術架構(2/3)
王凡