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