Verification of railway interlocking systems.

Simon Busard Quentin Cappart Christophe Limbrée Charles Pecheur Pierre Schaus

Published in: ESSS (2015)

Keyphrases

complex systems
databases
social networks
information retrieval
image processing
management system
distributed systems
knowledge based systems
formal methods
machine learning
knowledge base
website
expert systems
computer systems
systems require