验证原型相关论文
用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。......
在研究椭圆曲线密码算法的处理特征以及有限域层上的并行调度算法基础上,采用指令级并行和数据级并行方法,提出了面向椭圆曲线密码......
