Login / Signup
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