SE 441: Telecommunications Software Design

Download as PDF
Class Program
Software Engineering
Credits 3 Lab Hours 0 Lecture Hours 3
Tutoring Hours
0
Formal models for telecommunications software design and analysis. Protocol specification, design and validation. Protocol verification and testing. Conformance testing. Protocol synthesis. Protocol conversion.
Prerequisite Courses
EE 305: Computer Networks