研究報告
| 學年 | 83 |
|---|---|
| 學期 | 1 |
| 出版（發表）日期 | 1995-01-01 |
| 作品名稱 | 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合 |
| 作品名稱（其他語言） | Integration of Specification for Reactive System and Timed Petri Nets |
| 著者 | 陳伯榮; 陳建源; 汪柏; 周建群 |
| 單位 | 淡江大學資訊工程研究所 |
| 描述 | 計畫編號：NSC84-2213-E032-002 研究期間：199408~199507 研究經費：1,528,000 |
| 委託單位 | 行政院國家科學委員會 |
| 摘要 | |
| 關鍵字 | |
| 語言 | |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116 ) |