TY - DATA AU - Belgacem Ben Hedia AU - Moez Krichen AU - Yassine Maleh TI - Verification and Evaluation of Computer and Communication Systems T2 - Lecture Notes in Computer Science SN - 9783031208684 PB - Springer KW - Computer Engineering and Networks KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-49737-7 ER -