虛擬講堂 進入演講 講 題 Model-level Test Coverage with Safety Features for Ptolemy II 講 者 元智大學 林建廷 日 期 2015/10/22 長 度 00:14:21 人 氣 283 次 摘 要 Model-level Test Coverage with Safety Features for Ptolemy II 提 供 TANET台灣網際網路研討會-TANET2015 進入演講