搜索筛选:
搜索耗时2.6240秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：戴聪,汤家华,陈峻念,,
来源：计算机应用与软件 年份：2014
目前智能卡操作系统测试主要针对特定版本的操作系统设计,对操作系统各项功能测试不够全面,尤其对多应用安全性少有关注。介绍一种新的智能卡操作系统测试方法,分为未知指令安全性、特定算法正确性、文件系统访问控制、指令一致性、个人化后文件操作及访问控制......
[期刊论文] 作者：章玥,郭建,朱晓冉,王文君,朱晶洋,汤家华,陈峻念,,
来源：计算机工程与科学 年份：2014
Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模...
相关搜索：
