Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26?28, 2018, Proceedings - Atig, Mohamed Faouzi. (Springer International Publishing,)