中国最大的综合性文献数据库 -维普资讯 关键词: 密码协议 事件图 形式化模型 图元[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 形式化描述模型
·2,447,543篇论文数据，部分数据来源于NoteExpress
This isn't a formal model (heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型(呵呵)，我只是喜欢用它来代表软件开发。
Manufacturers can provide colorful formal model for color card for consumers to choose.
正规厂家能提供色彩丰富的样板色卡供消费者选择。
The architecture is expressed as a formal model in UML, using a tool like Rational Software architect to create it.
体系结构采用UML表述为正式的模型，要使用Rational Soft ware Architect之类的工具创建此模型。
应用推荐