Vol-1689
urn:nbn:de:0074-1689-2




VECoS 2016
Verification and Evaluation of Computer and Communication Systems


Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System

Tunis, Tunisia, October 6-7, 2016.


Edited by

Mohamed Ghazel *
Mohamed Jmaiel **

* IFSTTAR , Lille, France
** DRC, ReDCAD, ENIS-University of Sfax, Sfax, Tunisia





Complete proceedings in one ZIP file (~6 MB).

Table of Contents

Session I: Probabilistic verification

Session II: Fault tolerance and performance evaluation

Session III: Model-Checking and Test

Session IV: Protocols and distrubuted systems


2016-09-26: submitted by Belgacem Ben Hedia, metadata incl. bibliographic data published under Creative Commons CC0
2016-09-26: published on CEUR-WS.org |valid HTML5|