關鍵字查詢 | 類別:研究報告 | | 關鍵字:反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合

[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 04 筆查詢結果
序號 學年期 教師動態
1 83/1 資訊系 汪 柏 副教授 研究報告 發佈 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合 , [83-1] :反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合研究報告反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合Integration of Specification for Reactive System and Timed Petri Nets陳伯榮; 陳建源; 汪柏; 周建群淡江大學資訊工程研究所計畫編號:NSC84-2213-E032-002;研究期間:199408~199507;研究經費:1,528,000行政院國家科學委員會Made available in DSpace on 2009-03-16T07:42:22Z (GMT). No. of bitstreams: 0;Made available in DSpace on 2009-07-15T10:34:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-16T07:42:22Z;tku_id: 000081857; 000094173; 000055391; 000094825<links><record><name>機構典藏連結</name><url>http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116</url></record></links>
2 83/1 資訊系 周建群 副教授 研究報告 發佈 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合 , [83-1] :反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合研究報告反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合Integration of Specification for Reactive System and Timed Petri Nets陳伯榮; 陳建源; 汪柏; 周建群淡江大學資訊工程研究所計畫編號:NSC84-2213-E032-002;研究期間:199408~199507;研究經費:1,528,000行政院國家科學委員會Made available in DSpace on 2009-03-16T07:42:22Z (GMT). No. of bitstreams: 0;Made available in DSpace on 2009-07-15T10:34:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-16T07:42:22Z;tku_id: 000081857; 000094173; 000055391; 000094825<links><record><name>機構典藏連結</name><url>http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116</url></record></links>
3 83/1 資訊系 陳伯榮 副教授 研究報告 發佈 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合 , [83-1] :反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合研究報告反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合Integration of Specification for Reactive System and Timed Petri Nets陳伯榮; 陳建源; 汪柏; 周建群淡江大學資訊工程研究所計畫編號:NSC84-2213-E032-002;研究期間:199408~199507;研究經費:1,528,000行政院國家科學委員會Made available in DSpace on 2009-03-16T07:42:22Z (GMT). No. of bitstreams: 0;Made available in DSpace on 2009-07-15T10:34:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-16T07:42:22Z;tku_id: 000081857; 000094173; 000055391; 000094825<links><record><name>機構典藏連結</name><url>http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116</url></record></links>
4 83/1 資訊系 陳建源 副教授 研究報告 發佈 反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合 , [83-1] :反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合研究報告反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合Integration of Specification for Reactive System and Timed Petri Nets陳伯榮; 陳建源; 汪柏; 周建群淡江大學資訊工程研究所計畫編號:NSC84-2213-E032-002;研究期間:199408~199507;研究經費:1,528,000行政院國家科學委員會Made available in DSpace on 2009-03-16T07:42:22Z (GMT). No. of bitstreams: 0;Made available in DSpace on 2009-07-15T10:34:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-16T07:42:22Z;tku_id: 000081857; 000094173; 000055391; 000094825<links><record><name>機構典藏連結</name><url>http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/7116</url></record></links>
[第一頁][上頁]1[次頁][最末頁]目前在第 1 頁 / 共有 04 筆查詢結果