

Beschreibung
This book constitutes the proceedings of the 12th International Conference on Verication and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with...