The book aims to enable the reader to master the engineering of communication protocols, which are amply present nowadays in mobile phones, tablets, laptops, smart appliances, and service providers’ datacenters and clouds. Readers will acquire the theoretical knowledge and practical skills to successfully design, implement, test, and verify their solutions. The key benefits of the new edition align with the latest standard for conformance testing, TTCN-3, along with updated chapters. It explains process algebra CSP and how to model, simulate, and automatically verify CSP models in PAT.

chapter 1|8 pages


chapter 2|36 pages

Requirements and Analysis

chapter 3|164 pages


chapter 4|80 pages


chapter 5|110 pages

Test and Verification

chapter 6|138 pages

FSM Library