System verification of flexray communication networks through behavioral simulations.

Candice Müller Maurizio Valle

Published in: BMAS (2010)

Keyphrases

communication networks
communication protocol
safety critical
formal methods
wireless communication
computer networks
distributed databases
network structure
wifi
model checking
smart card
database systems
cooperative
software engineering
embedded systems
email communication