TY - BOOK AU - Belgacem Ben Hedia AU - Moez Krichen AU - Yassine Maleh TI - Verification and Evaluation of Computer and Communication Systems SN - 978-3-031-49737-7 PY - 2024/// CY - Heidelberg, Germany PB - Springer Nature KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-49737-7 ER -