UMKC Catalog
PrintPrint


Loading

Table of Contents - Protocol Design
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
Back