Safety checking in an automatic train operation system.

Girish Keshav Palshikar

Published in: Inf. Softw. Technol. (2001)

Keyphrases

nuclear power plant
semi automatic
fully automatic
database
databases
neural network
genetic algorithm
artificial intelligence
face recognition
bayesian networks
consistency checking