Logo
東海大學資訊工程學系-專題演講-學期演講-[105.05.23]Industrial verification of avionic, automotive, and railway systems- practical application and theoretical foundations

[105.05.23]Industrial verification of avionic, automotive, and railway systems- practical application and theoretical foundations

  • 單位 : 網路組
  • 分類 : 學期演講
  • 點閱 : 1148
  • 日期 : 2016-03-02
時間:105年5月23日(一)19:30~20:50
地點:社會科學院SS102
 
主講人:Prof. Jan Peleska
    (University of Bremen and Verified Systems International GmbH, Bremen)
講題:Industrial verification of avionic, automotive, and railway systems- practical application and theoretical foundations