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