1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究Formal Modeling and Verification of Complex Interactions in EGovernment Appl

论文研究Formal Modeling and Verification of Complex Interactions in EGovernment Appl

上传者: 2020-05-29 15:39:03上传 PDF文件 563.45KB 热度 17次
对电子政务应用中复杂交互行为的形式化建模与验证,孙猛,李屹,当下社会演变之迅速前所未有,随着政务信息化程度的不断加强,电子政务系统的可靠性,安全性和高效性正在受到巨大考验。因此对大
用户评论