6th International Workshop on Verification and Evaluation of Computer and Communication Systems (VEC (VECoS 2012)
Venue: Cnam Paris
Event Date/Time: Aug 27, 2012 | End Date/Time: Aug 28, 2012 |
Description
Thus, the main motivation for VECoS is to encourage the cross-fertilization between formal verification and evaluation approaches, methods and techniques especially those based on the specification formalisms for concurrent, distributed and soft/hard systems.