Title: Verification and Evaluation of Computer and Communication Systems
Subjects: Computers, Telecommunication systems