Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration. - Luis Guilherme Silva; Israel Cardoso; Carlos Brito 001; Vandirleya Barbosa; Bruno C. S. Nogueira; Eunmi Choi; Tuan Anh Nguyen 002; Dugki Min; Jae-Woo Lee; Francisco Airton Silva (Sensors, 2023)