Specifying Railway Interlocking Requirements for Practical Use.

Lars-Henrik Eriksson

Published in: SAFECOMP (1996)

Keyphrases

real time
user requirements
real world
search engine
multi agent systems
management system
application specific
real time systems
database
genetic algorithm
artificial neural networks
multiresolution
hidden markov models
design principles
practical application
functional requirements