Safety Verification of Heterogeneous Railway Networks.

Paulius Stankaitis Alexei Iliasov

Published in: RSSRail (2016)

Keyphrases

heterogeneous networks
safety analysis
network design
social networks
formal verification
model checking
artificial intelligence
complex systems
network structure
network parameters
telecommunication networks
loosely coupled
face verification
real time
information systems
real world
neural network