The paper introduces formal description techniques and SDL.

 
  • 介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程。
今日热词
目录 附录 查词历史