CIS 826
Protocol Engineering
Kansas State University · UGRD · Fall 2026
1 section
Catalog description
Basic concepts of protocol design, specification languages and formal description techniques, safety and liveness properties, protocol validation, protocol synthesis, protocol translation and conformance testing.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #kansas_2-1819Fall 2026UGRD- credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?