Formal Approaches to Mode Conversion and Positioning for Vehicle System.

Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu

Browse the full COMPSAC paper archive.