[105.05.23]Industrial verification of avionic, automotive, and railway systems- practical application and theoretical foundations
時間：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
