Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
Eduardo dos Santos‚ Dominik Schoop and Andrew Simpson
Address
Columbus‚ USA
Book Title
2016 IEEE Vehicular Networking Conference (VNC) (IEEE VNC 2016)
ISBN
978−1−5090−5197−7
Month
dec
Pages
110–117
Year
2016