Login / Signup

Design and verification of flexray to CAN protocol converter node.

R. HarishL. Swarna Jyothi
Published in: CUBE (2012)
Keyphrases
  • communication protocol
  • safety critical
  • formal methods
  • user interface
  • formal analysis