Modeling and Verification for Track Circuit Encoding in Train Control Center Based on UML and TA.

Lei Yuan Lijuan Wang Dewang Chen Amie R. Albrecht

Published in: J. Softw. (2014)

Keyphrases

control center
modeling language
formal methods
colored petri nets
unified modeling language
real time
uml profile
reinforcement learning
active learning
control system
high speed
software systems
petri net
model checking
model driven
conceptual modeling