Vol-1431
urn:nbn:de:0074-1431-6




VECoS 2015
Verification and Evaluation of Computer and Communication Systems


Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems

Bucharest, Romania, September 10-11, 2015.


Edited by

Belgacem Ben Hedia *
Florin Popentiu Vladicescu **

* CEA, LIST, Centre de Saclay, PC172, 91191, Gif-sur-Yvette, FRANCE
** University of Oradea, Romania





Complete workshop proceedings as one file (~6 MB).

Table of Contents

Session 1: Control and Diagnosis

Session 2: Program verification

Session 3: Performance evaluation


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