Deyun Lv

Publication Activity (10 Years)

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

Top Topics

Fuel Consumption

Driver Assistance Systems

Asynchronous Circuits

Top Venues

Formal Aspects Comput.

Publications

Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Aspects Comput. 33 (3) (2021)