![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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