Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-98850-0

Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-35092-5 P. Ganty, M. Kaâniche

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-65955-4 Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu