Publication date:
July
2009
Publication date
(Print):
July
2009
Pages: 1-12
Affiliations
[
1
]CNRS ; LAAS ; 7 avenue du colonel Roche, F-31077 Toulouse, France
[
2
]Université de Toulouse ; UPS, INSA, INP, INSAE ; LAAS ; F-31077 Toulouse, France
Article
DOI: 10.14236/ewic/VECOS2009.5
SO-VID: ea04ec13-865c-47fd-8915-f0284ef97eea
Copyright © © Florent Peres 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)