Jintao Liu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng: Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. ISORC Workshops 2012: 7-12

1 Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu: Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. ISADS 2011: 67-72

Selection of 2 from 2 records - Jintao Liu has 5 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Jintao Liu, Tao Tang, Lin Zhao, Tianhua Xu, Wei Zheng: Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata. ISORC Workshops 2012: 7-12
1		Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu: Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. ISADS 2011: 67-72