结构化规约
基于1个网页-相关网页
Approach of structured specification 构造型说明法
·2,447,543篇论文数据，部分数据来源于NoteExpress
It then discusses the structured specification style and the transition oriented speciflcation style, which is based on an example of a virtual ring mutual exclusion protocol.
着重以一种虚环互斥协议为例，对结构化形式描述风格和转移形式描述风格进行探讨。
youdao
应用推荐
模块上移
模块下移
不移动