[IEEE 2018 IEEE International Conference on Big Data and Smart Computing (BigComp) - Shanghai, China (2018.1.15-2018.1.17)] 2018 IEEE International Conference on Big Data and Smart Computing (BigComp) - Formal Modeling and Verification of Serial Communication for Autonomous Vehicles
Jung, Hyeok-june, Park, Kyeong-sik, Kim, Cheol-Jin, Ha, Young-GukYear:
2018
Language:
english
DOI:
10.1109/BigComp.2018.00119
File:
PDF, 681 KB
english, 2018