ISO & CCITT Formal Description Techniques on Protocol Specification

• ISO和CCITT的形式描述技术