Login / Signup
Modeling Railway Control Systems in Promela.
Roberto Nardone
Ugo Gentile
Massimo Benerecetti
Adriano Peron
Valeria Vittorini
Stefano Marrone
Nicola Mazzocca
Published in:
FTSCS (2015)
Keyphrases
</>
control system
neural network
multimedia
modeling language
database
genetic algorithm
knowledge base
database systems
multi agent
lower bound
fuzzy logic
augmented reality
modeling method