课设
毕设
论文
工具
软件
开发学习套件
礼品中心
助学活动
校园大使
讲师招募
黑板报
联系我们
畅学电子
首页
学习
单片机
硬件设计
软件开发
技术应用
基础课
课设毕设
电子竞赛
职场创业
课程
计划
项目
小组
登录
注册
文章
资料
视频
课程
课时
学习计划
项目
话题
小组
用户
[ 资料 ]
基于逻辑的程序验证方法在
高可信软件
开发上的应用.pdf
本文提出一个基于逻辑的使用汇编语言的
高可信软件
开发方法,并运用此方法开发出经过严格安全验证的运行时库 ...
by
齐欣
|
上传于 2015-06-17
|
163次下载
立即注册
畅学电子网,带你进入电子开发学习世界
专业电子工程技术学习交流社区,加入畅学一起充电加油吧!
已有畅学电子网帐号?
登录
可从合作网站帐号登录:
QQ
新浪微博
x