C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime verification of train control systems with parameterized modal live sequence charts.
Ming Chai
Haifeng Wang
Tao Tang
Hongjie Liu
Published in:
J. Syst. Softw. (2021)
Keyphrases
</>
control system
model checking
data sets
real time
database
machine learning
website
case study
mobile robot
closed loop
modal logic
face verification
process control
real environment