聊城大学学报（自然科学版）2004，Vol.17Issue(2)：15-20,27,7.
电子商务系统形式化分析与验证技术综述(Ⅰ)
Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems ( Ⅰ )
杜玉越1
作者信息
- 1. 聊城大学,计算机学院,山东,聊城,252059
- 折叠
摘要
关键词
电子商务系统/形式化技术/分类/特点分类
信息技术与安全科学引用本文复制引用
杜玉越..电子商务系统形式化分析与验证技术综述(Ⅰ)[J].聊城大学学报（自然科学版）,2004,17(2):15-20,27,7.
