[105.05.23]Industrial verification of avionic, automotive, and railway systems- practical application and theoretical foundations
- 單位 : 網路組
- 分類 : 學期演講
- 點閱 : 2275
時間：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
