<pre>The International Workshop on Verification and Evaluation of<br>Computer and Communication Systems (VECoS) was created by an<br>Euro–Maghrebian network of researchers in computer science. The<br>first edition tooks place in Algiers 5–6 May 2007 (VECoS′2007),<br>the second edition in Leeds 2–3 July 2008 (VECoS′2008).<br>The aim of VECoS workshop is to bring together researchers and<br>practitioners, in the areas of Verification, Control, Performance,<br>Quality of service, Dependability evaluation and Assessment, to<br>discuss the state of the art for solving the challenges facing us<br>today in various modern computer and communication systems in<br>which functional and extra functional properties are strongly<br>interrelated. Thus, the main motivation for VECoS is to encourage<br>the cross–fertilization between formal verification and evaluation<br>approaches, methods and techniques especially those based on the<br>specification formalisms for concurrent, distributed and soft/hard<br>systems. Beyond its technical and scientific goals, another main<br>purpose of VECoS is to promote collaboration between participants<br>in research and education in the area of computer science and<br>engineering.</pre>
Abbrevation
VECoS
City
Rabat
Country
Morocco
Deadline Paper
Start Date
End Date
Abstract