Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

Yassine Maleh, Belgacem Ben Hedia, Moez Krichen