2008 | ||
---|---|---|
3 | EE | Li Weiming, Zhu Hongping, Xia Yong: Vehicle Velocity Recognition by Bridge Responses with a Pattern Search Algorithm. CSSE (1) 2008: 32-35 |
2000 | ||
2 | EE | Anne Elisabeth Haxthausen, Xia Yong: Linking DC Toghether with TRSL. IFM 2000: 25-44 |
1999 | ||
1 | EE | Xia Yong, Chris George: An Operational Semantics for Timed RAISE. World Congress on Formal Methods 1999: 1008-1027 |
1 | Chris George | [1] |
2 | Anne Elisabeth Haxthausen | [2] |
3 | Zhu Hongping | [3] |
4 | Li Weiming | [3] |