Belgacem Ben Hedia Verification and Evaluation of Computer and Communication Systems - 1st ed. 2024 - Springer 2024 - Lecture Notes in Computer Science . ISBN: 9783031208684 Subjects--Topical Terms: Computer Engineering and NetworksComputer Science