Login / Signup
System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC.
Woo Sik Kim
Hyun Ah Kim
Jin-Ho Ahn
Byung 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