说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化描述技术
1)  formal description technology
形式化描述技术
例句>>
2)  formal description technology
形式描述技术
1.
E LOTOS is an enhancement to formal description technology LOTOS.
Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版。
更多例句>>
3)  formal description techniques
形式描述技术
1.
Applications of formal description techniques in communication protocols security analysis;
形式描述技术在通信协议安全分析中的应用
更多例句>>
4)  formal description technique
形式描述技术
1.
Based on an analysis of the contents and methods of protocol engineering activities and their interrelations, first discusses main formal description techniques (FDTs) and their characteristics, compares corresponding strongpoints and weaknesses, and then leads to Petri nets based FDT.
该文首先分析了协议工程各项活动的内容、方法和相互关系 ,讨论了各种形式描述技术 ( formal description technique,简称 FDT)的特性及其优缺点 ,从而引出基于 Petri网理论的 FDT。
更多例句>>
5)  FDT conversion
形式描述技术之转换
6)  formal specification
形式化描述
1.
The formal specification of railway crossing system based on Real-Time Object-Z
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
2.
Based on physicality and design,a new agent model is put forward,whose formal specification is given.
基于物理和设计立场,提出一种新的Agent结构模型,并作了形式化描述。
3.
The formal specification of architecture is on the assumption of static system interaction and configuration.
体系结构的形式化描述大都基于系统的静态的交互和配置。
更多例句>>
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条