协议工程学研究范围包括:
协议说明(Protocol Specification)
协议证实(Protocol Validation)
协议验证(Protocol Verfication)
协议综合(Protocol Synthesis)
协议转换(Protocol Conversion)
协议性能分析(Protocol Performance Analysis)
协议自动实现(Protocol Automatic Impementation)
协议测试(Protocol Testing)
本文介绍了协议工程学的研究范围,包括协议说明、证实、验证、综合、转换、性能分析、自动实现及测试等方面,为读者提供了全面了解协议工程的基础。
协议工程学研究范围包括:
协议说明(Protocol Specification)
协议证实(Protocol Validation)
协议验证(Protocol Verfication)
协议综合(Protocol Synthesis)
协议转换(Protocol Conversion)
协议性能分析(Protocol Performance Analysis)
协议自动实现(Protocol Automatic Impementation)
协议测试(Protocol Testing)
5302

被折叠的 条评论
为什么被折叠?