Hierarchical Modeling and Verification for High-speed Train Control Center by Time Automation.

Lei Yuan Shiying Yang Dewang Chen Kaicheng Li

Published in: J. Softw. (2014)

Keyphrases

high speed train
control center
evolutionary algorithm
global optimization
genetic algorithm
three dimensional
model checking
hierarchical structure