查詢結果
檢索結果筆數(6)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
- 題 名:
A New Technique for Behavior and Temporal Analysis of Timed Petri Nets:即時型派翠網模型之行為分析與時序驗證的技術
- 作 者:
- 書刊名:
- 卷 期:
20:5 1997.09[民86.09]
- 頁 次:
頁481-492
- 題 名:
-
- 題 名:
An Estelle Translator for Incremental Protocol Verification:以漸進式協定驗證為目的之Estelle轉換器
- 作 者:
- 書刊名:
- 卷 期:
19:2 1996.03[民85.03]
- 頁 次:
頁179-192
- 題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
13:1 2003.03[民92.03]
- 頁 次:
頁29-43
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
4:1 1994.03[民83.03]
- 頁 次:
頁21-29
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
18:3 1995.05[民84.05]
- 頁 次:
頁379-390
-
- 題 名:
An Approach to the Implementation and Verification of Abstract Data:抽象資料之建置與驗證的方法
- 作 者:
- 書刊名:
- 卷 期:
9:3 1986.05[民75.05]
- 頁 次:
頁323-332
- 題 名: