|
|
 |
SEG 4155
Telecommunications Software Design and Analysis
|
|
University of Ottawa (2001)
|
Overview
|
Formal models for telecommunications software design and analysis. Protocol specification, design and validation. Protocol verification and testing. Conformance testing. Protocol synthesis. Protocol conversion.
|
Course Projects - (English Only)
|
Project
|
Solution
|
Comments
|
|
|
|
|
|
