Hyeok-june Jung, Kyeong-sik Park, Cheol Jin Kim, Young-Guk Ha. Formal Modeling and Verification of Serial Communication for Autonomous Vehicles. In 2018 IEEE International Conference on Big Data and Smart Computing, BigComp 2018, Shanghai, China, January 15-17, 2018. pages 657-661, IEEE Computer Society, 2018. [doi]
Abstract is missing.