协议工程学

来源:互联网 发布:淘宝洋洋妆园是正品吗 编辑:程序博客网 时间:2024/04/29 04:46

协议工程学研究范围包括:

协议说明(Protocol Specification)

协议证实(Protocol Validation)

协议验证(Protocol Verfication)

协议综合(Protocol Synthesis)

协议转换(Protocol Conversion)

协议性能分析(Protocol Performance Analysis)

协议自动实现(Protocol Automatic Impementation)

协议测试(Protocol Testing)