Safety Verification of Modern Railway Signalling with the SafeCap Platform.

Paulius Stankaitis Alexei Iliasov

Published in: ISSRE Workshops (2017)

Keyphrases

model checking
real time
data sets
formal verification
safety analysis
e learning
face verification
traffic management
traffic safety
verification method
case study
evolutionary algorithm
mobile robot
distributed architecture
fingerprint verification