聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于有穷自动机模型的电子商务协议的公平性分析
出处:第八届中国密码学学术会议
摘要:本文提出了一种新的有穷自动机理论,分析在电子商务的实际应用中交易协议是否满足支付过程中的公平性。文... 显示全部
关键词: 有穷自动机 支付协议 密钥 公平性 电子商务
会议论文 UML2.0顺序图的一种有穷自动机模型
出处:2008年全国理论计算机科学学术年会
摘要:为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.... 显示全部
关键词: 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制
找到2条结果
`