Visualising Railway Safety Verification.

Filippos Pantekis Phillip James Liam O'Reilly Daniel Archambault Faron Moller

Published in: FTSCS (2019)

Keyphrases

safety analysis
model checking
formal verification
safety critical
decision making
traffic management
traffic safety
data mining
case study
image sequences
multiscale
face verification
formal methods
formal analysis
road safety
false acceptance