机译:Chen,Chou,Sun和Cho(2011)对“一种基于配对的基于受托人的匿名撤销的新型电子现金系统”的评论。
机译:Chen,Chou,Sun和Cho(2011)对“基于配对的基于受托人的匿名撤销的新型电子现金系统”的批评的回应。
机译:具有配对的基于受托人的匿名撤消的新颖电子现金系统
机译:具有被动匿名撤销受托斯的电子检查系统
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:电子哮喘管理系统的系统吸收分析和GUIDES清单评估:即时医疗计算机化临床决策支持系统
机译:可观察性检查以增强对实时电子系统的诊断