Loading...
|
COMP-SCI 5524
Protocol Design
|
|
|
Protocols as formal algorithms, architectural definition, protocol specification languages and models and their translation to implementation languages, overview of verification methods, symbolic execution. Prerequisite: CS 421.
|
Faculty:
School of Computing & Engineer
|
Department:
Comp Sci & Elect Engr
|
|
Print