Ming Chai, Haifeng Wang, Tao Tang 0004, Hongjie Liu. Runtime verification of train control systems with parameterized modal live sequence charts. Journal of Systems and Software, 177:110962, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.