Login / Signup
A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems.
Pierfrancesco Bellini
Paolo Nesi
Imad Zaza
Published in:
ERCIM News (2015)
Keyphrases
</>
expert systems
management system
adaptive systems
neural network
industrial automation
linear systems
model checking
complex systems
intelligent systems
decision support
computer systems
case study
biometric systems
artificial intelligence
linear equations
genetic algorithm
asynchronous circuits
data sets