default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
International Workshop on Verification and Evaluation of Computer and Communication Systems
16th VECoS 2023: Marrakech, Morocco
- Belgacem Ben Hedia
, Yassine Maleh, Moez Krichen:
Verification and Evaluation of Computer and Communication Systems - 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings. Lecture Notes in Computer Science 14368, Springer 2024, ISBN 978-3-031-49736-0 [contents]
15th VECoS 2021: Virtual Event
- Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li:
Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13187, Springer 2022, ISBN 978-3-030-98849-4 [contents]
14th VECoS 2020: Xi'an, China
- Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu:
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings. Lecture Notes in Computer Science 12519, Springer 2020, ISBN 978-3-030-65954-7 [contents]
13th VECoS 2019: Porto, Portugal
- Pierre Ganty, Mohamed Kaâniche:
Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings. Lecture Notes in Computer Science 11847, Springer 2019, ISBN 978-3-030-35091-8 [contents]
12th VECoS 2018: Grenoble, France
- Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez:
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Lecture Notes in Computer Science 11181, Springer 2018, ISBN 978-3-030-00358-6 [contents]
11th VECoS 2017: Montreal, QC, Canada
- Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents]
10th VECoS 2016: Tunis, Tunisia
- Mohamed Ghazel, Mohamed Jmaiel:
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. CEUR Workshop Proceedings 1689, CEUR-WS.org 2016 [contents]
9th VECoS 2015: Bucharest, Romania
- Belgacem Ben Hedia, Florin Popentiu Vladicescu:
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. CEUR Workshop Proceedings 1431, CEUR-WS.org 2015 [contents]
8th VECoS 2014: Bejaïa, Algeria
- Hassane Alla, Louiza Bouallouche-Medjkoune:
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. CEUR Workshop Proceedings 1256, CEUR-WS.org 2014 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
