网络释义专业释义
中国最大的综合性文献数据库 -维普资讯 关键词: 密码协议 事件图 形式化模型 图元[gap=1364]Key words: Cryptographic protocol; Event graph; Formal model; Meta-graph
基于26个网页-相关网页
Formal Model Checking 形式模型检查
abstract formal model 抽象形式模型
formal model description 形式模型描述
Formal Model of Emotional Agent 情感主体形式模型
formal methods model 形式方法模型 ; 形式化方法模型
formal aesthetic model 形式美学模型
formal type model 形式类模型
formal security policy model 形式化安全策略模型
Formal Description Model 形式化描述模型
-
形式模型 - 引用次数：20 参考来源 - Web服务接口的相容性与调解研究形式化模型
-
形式化模型
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句权威例句
-
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
-
Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.
事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。
-
On the other hand, important specifications such as the Infoset (a formal model of the information nodes in an XML document) should be established at the foundations.
另一方面，象Infoset (XML文档中信息节点的正式模型)这样的重要规范应该建立在此基础上。
应用推荐