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