Xiao Han

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 2

Top Topics

Computationally Intensive

Temporal Properties

Verification Method

Top Venues

Sci. Comput. Program.

Publications

Xiao Han, Tao Tang, Jidong Lv
A hierarchical verification approach to verify complex safety control systems based on STAMP. Sci. Comput. Program. 172 (2019)
Xiao Han, Tao Tang, Jidong Lv, Haifeng Wang
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. RSSRail (2016)