SOF 575 Internet Protocols
This course discusses protocol specifications and formal description methods, finite-state descriptions of Internet protocols, specification and description language, and implementation of protocol specification. Prerequisite: None.