Compositional Verification of Interlocking Systems for Large Stations.

Alessandro Fantechi Anne E. Haxthausen Hugo Daniel Macedo

Published in: SEFM (2017)

Keyphrases

learning systems
management system
databases
database systems
relational databases
artificial neural networks
model checking
data sets
social networks
decision making
metadata
data structure
probabilistic model
distributed systems