Communications Protocol Engineering

Catalog description

Open systems interconnection (OSI) reference model, modeling com-munication protocols using finite and extended finite state machines, formal languages for protocol specification, real-life protocol specifica-tions, verification of communication protocols, conformance testing methods, synchronization issues in testing, test representation lan-guages.