排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
提出了将形式化验证特别是模型检测技术应用于电子商务系统的第三方验证,给出审计师选择模型检测器的方法和应用步骤.分析了验证示例,以说明模型检测技术在电子商务鉴证应用中可行性和完备性. 相似文献
1