Publication date:
July
2009
Publication date
(Print):
July
2009
Pages: 1-15
Affiliations
[
(1)
]A3SI, Arts et Métiers ParisTech, 4 rue Augustin Fresnel, F-57078 Metz cedex 3
[
(2)
]LRR, TU-München, Institut für Informatik 10, Boltzmannstr. 3, D-85747 Garching bei
München
Article
DOI: 10.14236/ewic/VECOS2009.9
SO-VID: ff3a7625-9701-4c7e-b313-cea18426c05b
Copyright © © Malassé O. et al. Published by BCS Learning and Development Ltd. Third International
Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS
2009), Rabat, Morroco
License:
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To
view a copy of this license, visit
http://creativecommons.org/licenses/by/4.0/
Conference name:
Third International Workshop on Verification and Evaluation of Computer and Communication
Systems (VECoS 2009)
Conference acronym:
VECOS
Conference number:
3
Conference location:
Rabat, Morroco
Conference date:
2-3 July 2009
Conference sponsor:
Electronic Workshops in Computing (eWiC)
Conference theme:
Verification and Evaluation of Computer and Communication Systems (VECoS 2009)