搜索筛选:
搜索耗时0.0330秒,为你在为你在61,042,058篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：程永太,牛晋刚,
来源：经济师 年份：2002
...
[期刊论文] 作者：孙国栋,牛晋刚,,
来源：计算机工程与应用 年份：2015
超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性...
相关搜索：
