登入
搜尋
回首頁
淡江大學首頁
網站地圖
English
高中生專區
系所介紹
系所介紹與沿革
系所簡介
教育目標
品質屋
系友園地
傑出系友
實驗室介紹
CAE實驗室
專題實驗室
特色空間
最新消息
系所公告
榮譽榜
競賽資訊
就業資訊
獎學金公告
演講公告
系所成員
系主任
歷屆系主任
專任師資
專任助教
兼任師資
行政人員
課程介紹
學士班
課程設計
課程特色
修業資訊
下載專區
企業實習專區
程式能力檢定專區
新生專區
全英語學士班
課程設計
課程特色
修業資訊
全大三出國
下載專區
進修學士班
課程資訊
碩士班
修業資訊
下載專區
博士班
修業資訊
下載專區
碩士在職專班
學分學程
工程教育認證
大學部核心能力
研究所核心能力
工程教育認證證書
多元專長培力課程
資工週歷年資訊
108年資工週資訊
109年資工週資訊
110年資工週資訊
111年資工週活動
彈性學制
彈性學制
下載專區
獎學金
其它
七系聯展
國際交流
交換生
雙聯學位
學術研究
無線存取暨聯網技術
人工智慧與產業技術實驗室
人工智慧暨影像處理
雲端與服務計算
行動系統實驗室
個別化智慧通訊與複雜網路
電腦視覺與機器學習實驗室
ADML Lab
新生專區
新生專區
首頁
系所成員
兼任師資
系主任
專任師資
專任助教
兼任師資
行政人員
年度
83
名稱
反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合
摘要
反應式系統實作分析與實證環境 -反應式系統規格語言與Timed Petri Nets模式的整合
全部作者
陳伯榮; 陳建源; 汪柏; 周建群
發表日期
1995-01
備註
研究報告
Top