Login / Signup
Design and verification of flexray to CAN protocol converter node.
R. Harish
L. Swarna Jyothi
Published in:
CUBE (2012)
Keyphrases
</>
communication protocol
safety critical
formal methods
user interface
formal analysis