Hyeok-june Jung

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Structured Environments

Top Venues

Publications

Hyeok-june Jung, Kyeong-sik Park, Cheol-Jin Kim, Young-Guk Ha
Formal Modeling and Verification of Serial Communication for Autonomous Vehicles. BigComp (2018)