Login / Signup
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
Published in:
APSEC (2017)
Keyphrases
</>
safety critical
management system
software components
expert systems
intelligent systems
end to end
e learning
knowledge based systems
formal methods
intelligent vehicles