Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons.

Carl Bergenhem Karl Meinke Fabian Ström

Published in: ISoLA (3) (2018)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
decision making
management system
real time
multi agent
model checker
reliability analysis
model checking
formal verification
condition monitoring