Verification and Evaluation of Computer and Communication Systems

Name: Verification and Evaluation of Computer and Communication Systems
Author: Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar