C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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