進階搜尋


   電子論文尚未授權公開,紙本請查館藏目錄
(※如查詢不到或館藏狀況顯示「閉架不公開」,表示該本論文不在書庫,無法取用。)
系統識別號 U0026-0511201900392800
論文名稱(中文) 針對符合國際標準IEC61499之功能塊進行自動模型轉換與正規驗證
論文名稱(英文) Automatic Model Transformation and Formal Verification for Function Block of International Standard IEC61499
校院名稱 成功大學
系所名稱(中) 電機工程學系
系所名稱(英) Department of Electrical Engineering
學年度 108
學期 1
出版年 108
研究生(中文) 許嘉豪
研究生(英文) Chia-Hao Hsu
學號 N26061335
學位類別 碩士
語文別 中文
論文頁數 113頁
口試委員 指導教授-陳盈如
口試委員-蔡孟勳
口試委員-蔡佩璇
口試委員-陳郁方
中文關鍵字
學科別分類
論文目次
參考文獻
論文全文使用權限
  • 同意授權校內瀏覽/列印電子全文服務,於2024-11-04起公開。


  • 如您有疑問,請聯絡圖書館
    聯絡電話:(06)2757575#65773
    聯絡E-mail:etds@email.ncku.edu.tw