Nov 21, 2024  
2011-2012 Graduate Catalog 
    
2011-2012 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 826 - Protocol Engineering


Basic concepts of protocol design, specification languages and formal description techniques, safety and liveness properties, protocol validation, protocol synthesis, protocol translation and conformance testing.

Credits: (3)

Requisites:
Pr.: CIS 725.


KSIS Course Search




Add to Portfolio (opens a new window)