反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合
學年 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 )

機構典藏連結