Login / Signup

System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC.

Woo Sik KimHyun Ah KimJin-Ho AhnByung In Moon
Published in: FGCN (2) (2008)
Keyphrases
  • communication protocol
  • safety critical
  • software engineering
  • real time
  • formal methods
  • model checking
  • communication technologies
  • control system
  • health care
  • development process
  • fault tolerant