University of Missouri Kansas City About UMKCAcademicsAdmissionsAthleticsOffices and DepartmentsLibrariesResearch
Quick Links  

















   Graduate & Professional :: School of Computing and Engineering :: Computer Science and Electrical Engineering
 
  

5524 Protocol Design (3)

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.

  © 2005 UMKC • Kansas City, MO 64110 • (816)235-1000 • Email questions or comments about this web site to bytes@umkc.edu.

  UMKC is an equal opportunity/affirmative action institution; Part of the University of Missouri System; Reporting Possible Copyright Infringement.
spacer