Skip to main content

Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges

E. dos Santos‚ D. Schoop and A. C. Simpson

Book Title
Proceedings of VNC 2016
Year
2016