Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang. Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 415-424, IEEE, 2020. [doi]
Abstract is missing.