Login / Signup
A formal approach for the construction and verification of railway control systems.
Anne E. Haxthausen
Jan Peleska
Sebastian Kinder
Published in:
Formal Aspects Comput. (2011)
Keyphrases
</>
control system
formal methods
construction process
formal analysis
model checking
formal specification
formal model
data sets
face verification
evolutionary algorithm
high security
database
formal models
artificial neural networks
image sequences
database systems
data mining
neural network
real time