Personal information

No personal information available

Activities

Collapse all

Works (4)

Computer System Safety Argument Schemes

Conference paper
DOI:

10.1109/WCSE.2010.37
Source: Self-asserted source
Tianhua Xu

Logic verification of Collision Avoidance System in train control systems

Conference paper
DOI:

10.1109/IVS.2009.5164402
Source: Self-asserted source
Tianhua Xu

Research on requirement management for complex systems

Conference paper
DOI:

10.1109/ICCET.2010.5486270
Source: Self-asserted source
Tianhua Xu

Runtime Verification with Multi-valued Formula Rewriting

Conference paper
DOI:

10.1109/TASE.2010.13
Source: Self-asserted source
Tianhua Xu
How many people are using ORCID?