Verification and Evaluation of Computer and Communication SystemsKamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar · First published 2017Open the Tome