Verification and Evaluation of Computer and Communication SystemsBelgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu · First published 2020Open the Tome