Announcement_3
I moved to Tomita and Aoki’s research group, working on the Formal Methods and Verification Tools for Next-generation Automotive System Platforms research project.
I moved to Tomita and Aoki’s research group, working on the Formal Methods and Verification Tools for Next-generation Automotive System Platforms research project.