The paper introduces formal description techniques and SDL.

  • 介绍了形式化描述技术及其SDL语言,并以PPP协议 为例,研究了协议的形式化开发的整个过程.

  • 互联网摘选 2025-01-20 13:27:15

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句