vecos.ensta-paristech.fr
VECoSOf Computer and Communication Systems. Venue and Travel Info. 8th International Workshop on Verification and Evaluation of Computer and Communication Systems. September 29-30, 2014. VECoS 2014 will be held the 29th and 30th of September 2014 at the University of Bejaïa. That is the main organizer together with the support of MeFoSyLoMa. Group, Formal Methods Europe. Took place in Algiers, VECoS 2008. In Leeds, VECoS 2009. In Rabat, VECoS 2010. In Paris, and VECoS 2011. In Tunis, VECoS 2012. Contributions...
http://vecos.ensta-paristech.fr/