VECoS

International Conference on Verification and Evaluation of Computer and Communication Systems