|
Date |
Topic |
|
1/30 |
Introduction, Protocol Models and Structure |
|
2/06 |
Error and Flow control |
|
2/13, 20, & 27 |
CFSM model and Analysis Techniques |
|
3/06 &,13 |
SCM model and Analysis Techniques, Midterm |
|
3/20 |
Paper Topic Due, SCM model and Analysis Techniques |
|
4/03, 10 &17 |
Petri Nets, SPL and AP, |
|
4/24 & 5/01 |
Conformance Testing, Passive Testing of Networks |
|
5/08 |
Course Review and Term Paper Presentations |
- Mohamed Gouda, john Wiley & Sons, "Elements of Network Protocol Design ", 1998 (Amazon)
- Gerard J. Holzmann, "Design and Validation of Computer Protocols", 1991 (Amazon)