Verification and Evaluation of Computer and Communication Systems 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings - Ben Hedia, Belgacem. (Springer Nature Switzerland,)