Login / Signup
Formal Modelling Techniques for Efficient Development of Railway Control Products.
Michael J. Butler
Dana Dghaym
Tomas Fischer
Thai Son Hoang
Klaus Reichl
Colin F. Snook
Peter Tummeltshammer
Published in:
RSSRail (2017)
Keyphrases
</>
product line
software engineering
data mining
learning algorithm
case study
design principles
optimal control
control method
product information
customer requirements