J. Liu, Shichao Chen, Meng Li, Shiyu Yan, Tong-lan Yu, Qujin Wu
Abstract
Abstract is not available.
Citation format
LIU, J., et al. Formal modelling and verification of vehicular internet protocol gatekeeper. International Journal of Vehicle Safety, 2024, 1(1).