An Algebraic Approach to DC Railway Electrification Verification.

Eugenio Roanes-Lozano Rubén González-Martín Javier Montero

Published in: Math. Comput. Sci. (2019)

Keyphrases

model checking
formal verification
neural network
verification method
data sets
data mining
signature verification
genetic algorithm
case study
artificial neural networks
mobile robot
formal methods
concurrent systems