Login / Signup
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.
Anne E. Haxthausen
Jan Peleska
Published in:
Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases
</>
probabilistic model
high level
similarity measure
computational model
experimental data
real time
statistical model
data sets
case study
evolutionary algorithm
prior knowledge
probability distribution
control strategies
domain models