Verification and Evaluation of Computer and Communication Systems

This book constitutes the proceedings of the 12th International Conference on Verication and Eval...

Networked Systems