Autore: Yinan Shen

This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Mac …