Login / Signup
Modeling and Verification of an Automatic Train Protection System.
Xijiao Xiong
Jing Liu
Miaomiao Zhang
Zuohua Ding
Published in:
COMPSAC Workshops (2010)
Keyphrases
</>
modeling language
modeling framework
modeling method
database
data mining
clustering algorithm
search algorithm
multi agent systems
hidden markov models
model checking
fully automatic
colored petri nets