RBS2HLL - A Formal Modeling of Relay-Based Interlocking.

Naïm Aber Benjamin Blanc Nathalie Ferkane Mohand Meziani Julien Ordioni

Published in: RSSRail (2019)

Keyphrases

modeling method
formal models
database
machine learning
learning algorithm
social networks
wide range
data structure
cooperative
search algorithm
expert systems
petri net
modeling language