Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings - Atig, Mohamed Faouzi; Atig, Mohamed Faouzi; Bensalem, Saddek; Bensalem, Saddek; Bliudze, Simon; Bliudze, Simon; Monsuez, Bruno; Monsuez, Bruno (Springer International Publishing : Imprint: Springer, 2018)