查詢結果
檢索結果筆數(5)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
-
題 名:
A Multi-Event-One-Transition Plus Incremental Processing Protocol Verification Method:
- 作 者:
- 書刊名:
- 卷 期:
12:2 1996.06[民85.06]
- 頁 次:
頁215-241
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
19 1996.09[民85.09]
- 頁 次:
頁46-48
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
34 1996.11[民85.11]
- 頁 次:
頁62-100
-
-
題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
34 1996.11[民85.11]
- 頁 次:
頁91-96