wwwdev@monash.edu.au
December 10 1999
Auth: S Steele, ITS Web and Internet Facilities
Copyright © Monash University 1999 - All Rights Reserved - Caution
(ENG)
P Branch
3 points + 16 lectures and 9 laboratory hours + Second semester + Clayton + Prerequisites: ECS3343
Synopsis: 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: Examination (2 hours): 70% + Assignments: 30%
wwwdev@monash.edu.au
December 10 1999