Catalog Navigator

UMKC Catalog

Home
Table of Contents
Introduction
Special Notices
Academic Programs
Undergraduate Admission Policy & Procedures
Undergraduate Academic Regulations and Information
Graduate Academic Regulations and Information
Division of Student Affairs
Libraries
University College
Arts and Sciences, College of
Biological Sciences, School of
Computing and Engineering, School of
Dentistry, School of
Education, School of
Graduate Studies, School of
Law, School of
Management, Henry W. Bloch School of
Medicine, School of
Music and Dance, Conservatory of
Nursing, School of
Pharmacy, School of
Pre-Medicine/Pre-Health
Faculty
Undergraduate Courses
Graduate Courses
Appendices

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

HOME | TEXT ONLY | DISABILITY SERVICES | CONTACT US

© Curators of the University of Missouri. DMCA and other copyright information. University of Missouri-Kansas City | Kansas City, MO 64110 | (816) 235-1000
UMKC is an equal opportunity/affirmative action institution. Email questions or comments about this website to webmaster@umkc.edu.