Safety analysis of Virtual Traffic Lights.

Justin Yapp Andrew J. Kornecki

Published in: MMAR (2015)

Keyphrases

safety analysis
traffic light
nuclear power plant
control system
safety critical
traffic flow
intelligent control
symbolic model checking
fault model
traffic management
traffic congestion
reliability analysis
real time
traffic conditions
long distance
traffic signs
formal methods
cooperative