A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems.

Anne E. Haxthausen

Published in: SAFECOMP (2009)

Keyphrases

domain specific
control system
main contribution
data sets
probabilistic model
general purpose
domain independent
fully automated
artificial intelligence
feature selection
case study
artificial neural networks
domain knowledge
semi automated