研究報告
| 學年 | 84 |
|---|---|
| 學期 | 1 |
| 出版（發表）日期 | 1996-01-01 |
| 作品名稱 | 反應式系統規格語言與Timed Petri Nets模式的整合 (II) |
| 作品名稱（其他語言） | Integration of Specification for Reactive System and Timed Petri Nets (II) |
| 著者 | 陳伯榮; 林丕靜 |
| 單位 | 淡江大學資訊工程學系 |
| 描述 | 計畫編號：NSC85-2213-E032-004 研究期間：199508~199607 研究經費：566,000 |
| 委託單位 | 行政院國家科學委員會 |
| 摘要 | |
| 關鍵字 | 反應式系統;平行電腦;分散並行式的離散事件;電腦模擬;Reactive system;Parallel computer;Concurrent discrete-event;Simulation;Timed Petri nets |
| 語言 | |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7136 ) |