跳到主要內容

臺灣博碩士論文加值系統

::: 網站導覽| 首頁| 關於本站| 聯絡我們| 國圖首頁| 常見問題| 操作說明
English |FB 專頁 |Mobile
  • 一般民眾
  • 研究人員
  • 校院系所及研究生

    功能切換導覽列

  • 論文查詢
  • 排行榜
  • 影音圖像
  • 主題館(另開新視窗)
  • 我的研究室
  • NDLTD查詢(另開新視窗)
(44.200.82.149) 您好！臺灣時間：2023/06/02 17:09
字體大小： 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示
第一頁 上一頁 下一頁 最後一頁
/1
我願授權國圖
: 
twitterline
研究生:楊淑君
研究生(外文):Vega Yang
論文名稱:反應式系統規格語言與TimedPetriNets模式的整合
論文名稱(外文):Integration of Specification for Reactive System and Timed Petri Nets
指導教授:陳伯榮陳伯榮引用關係
指導教授(外文):Po-Zong Cheng
學位類別:碩士
校院名稱:淡江大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1994
畢業學年度:82
語文別:中文
中文關鍵詞:反應式系統、規格語言
外文關鍵詞:Reactive System、Specification Language、Timed Petri Nets
相關次數:
  • 被引用被引用:0
  • 點閱點閱:180
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
  簡易查詢 | 進階查詢 | 熱門排行 | 我的研究室
本系統(Web2)共收集：論文已授權全文：673815 筆、書目與摘要：1355815 筆
目前上線人數：12468 ／ 訪客人次（自99年6月）：579349464 ／ 檢索次數（自99年6月）：5182714106 ／ 指導單位： 教育部
國家圖書館著作權聲明 Copyright © 2010 All rights reserved.
本館地址：100201 臺北市中山南路20號 總機：(02)23619132
本網站最佳瀏覽解析度為 1600 x 900
無障礙網站