A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay.

Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba

Browse the full APSEC paper archive.