E-COMMERCE

作品数:510被引量:305H指数:6
导出分析报告
相关领域:经济管理更多>>
相关作者:孙德林杨敏李晶王文韬刘康更多>>
相关机构:对外经济贸易大学清华大学上海交通大学浙江师范大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金中国博士后科学基金国家社会科学基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 基金=国家重点基础研究发展计划(2007CB316502)x
条 记 录,以下是1-1
视图:
排序:
A Formal Approach for Obligation Analysis of E-Commerce被引量:2
《Chinese Journal of Electronics》2008年第2期200-204,共5页DU Yuyue JIANG Changjun 
Existing methods for modeling Ecommerce systems (ECSs) focus mostly on either mathematically abstract verification or graphical modeling, and cannot explicitly describe and analyze the obligations of partners. This ...
关键词:Frcommerce system Labeled Petri net Formal modeling VERIFICATION Obligation analysis. 
检索报告 对象比较 聚类工具 使用帮助 返回顶部