国際会議 The SICE Annual Conference 2020（2020/9/26）

投稿日: 2020/09/30 5:02:59

大学院生の王さんが，国際会議The SICE Annual Conference 2020にて「Investigation of Formal Specification and Verification for an Autonomous Vehicle Based on Rewriting Logic (I)」に関する研究成果を発表しました．オンライン開催で，事前に撮影したビデオを投稿する形式の発表でした．