查詢結果
檢索結果筆數(4)。 各著作權人授權國家圖書館,敬請洽詢 nclper@ncl.edu.tw
-
-
題 名:
A New Technique for Behavior and Temporal Analysis of Timed Petri Nets:即時型派翠網模型之行為分析與時序驗證的技術
- 作 者:
- 書刊名:
- 卷 期:
20:5 1997.09[民86.09]
- 頁 次:
頁481-492
-
題 名:
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
27:6 1997.12[民86.12]
- 頁 次:
頁829-843
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
27:6 1997.12[民86.12]
- 頁 次:
頁863-874
-
- 題 名:
- 作 者:
- 書刊名:
- 卷 期:
24 1997.07[民86.07]
- 頁 次:
頁43-45