Temporal Property Testing in Dynamic Networks: Application to Software-Defined Vehicular Networks

Yessin M. Neggaz, Soufian Toufga. Temporal Property Testing in Dynamic Networks: Application to Software-Defined Vehicular Networks. In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018. pages 85-90, IEEE Computer Society, 2018. [doi]

Abstract

Abstract is missing.