Vol-1430⫷ Vol-1431 ⫸Vol-1432
urn:nbn:de:0074-1431-6





VECoS 2015
Verification and Evaluation of Computer and Communication Systems


Proceedings of the 9 th 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 |