Communication protocol engineering
F J W Symons
3 points * 16 lectures, 9 laboratory hours * Second semester * Clayton * Prerequisites: ECS3343 (Computer communications)
Protocols and signalling systems. Specification, verification and implementation techniques. Petri net based techniques for modelling and analysis. Reachability set analysis for verification and proof of properties using computer simulation models and tools.
Assessment
Examinations (2 hours): 80% * Assignments: 20%
Recommended text
Holzmann G J Design and validation of computer protocols Prentice-Hall, 1991