社区首页
博客
论坛
文库
评测
芯语
活动
商城
更多
社区
论坛
博客
问答
评测中心
面包芯语
E币商城
社区活动
资讯
电子工程专辑
国际电子商情
电子技术设计
CEO专栏
eeTV
EE|Times全球联播
资源
在线研讨会
视频
白皮书
小测验
供应商资源
ASPENCORE Studio
EE直播间
活动
IIC Shanghai 2023
2023(第四届)国际 AIoT 生态发展大会
全球 MCU 生态发展大会
第四届临港半导体产业高峰论坛暨司南科技奖颁奖盛典
IIC Shenzhen 2023
第四届中国国际汽车电子高峰论坛
更多活动预告
杂志与服务
免费订阅杂志
电子工程专辑电子杂志
电子技术设计电子杂志
国际电子商情电子杂志
社区每月抽奖
登录|注册
帖子
帖子
博文
电子工程专辑
电子技术设计
国际电子商情
资料
白皮书
研讨会
芯语
文库
首页
分类
专题
技术白皮书
电子杂志
帮助
创建专题
上传文档
我的上传
我的下载
我的收藏
登录
下载首页
分类
专题
技术白皮书
帮助
面包板社区
博客
论坛
E币商城
面包芯语
帖子
帖子
博文
资料
资料
专题
热门搜索:
python
HarmonyOS
嵌入式
电源
C语言
华为
电子竞赛
单片机
PCB
首页
分类列表
基础知识
论文
嵌入式操作系统的形式化验证方法研究_孙海泳
推荐星级:
类别:
基础知识
单片机/嵌入式
其他
时间:2023-04-19
大小:1.4MB
阅读数:284
上传用户:
无量头颅无量血
查看他发布的资源
下载次数
0
所需E币
1
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
新用户
注册
即送
300
E币
更多E币赚取方法,请查看
立即下载
资料介绍
成电博士论文:嵌入式操作系统的形式化验证方法研究_孙海泳
展开阅读全文
嵌入式操作系统
形式
验证方法
研究
孙海泳
0
收藏
举报
版权说明:本资料由用户提供并上传,仅用于学习交流;若内容存在侵权,请进行举报,或
联系我们
删除。
PARTNER CONTENT
换一换>
更多>
案例分享 | 高效节能,性能卓越!汉高三防漆为电动汽车充电系统披上"隐形铠甲"
汉高
2025-03-21
赤池昌二先生升任TEL集团副总裁兼中国区总裁
Tokyo Electron
2025-03-04
相关评论
(下载后评价送E币
我要评论
)
发送
取消
没有更多评论了
加载更多评论
可能感兴趣
关注本资料的网友还下载了
技术白皮书
Capture-CIS原理图绘制
所需E币:1
时间:2019-05-22
大小:9.46MB
上传者:
牛渔曦
立即下载
结构件电磁兼容设计规范
所需E币:2
时间:2019-05-23
大小:48.91KB
上传者:
feiniao2008
立即下载
存在关节力矩输出死区及外部干扰的_省略_机械臂积分滑模神经网络自适应控制
所需E币:1
时间:2019-05-23
大小:347.25KB
上传者:
curton
立即下载
风洞试验绳牵引并联支撑系统自适应滑模控制
所需E币:1
时间:2019-05-28
大小:863.49KB
上传者:
curton
立即下载
GB17626.8-2008共频磁场抗挠度
所需E币:1
时间:2019-05-27
大小:828.6KB
上传者:
feiniao2008
立即下载
安富莱_STM32-V6开发板_二代示波器设计教程
所需E币:0
时间:2019-05-27
大小:8.31MB
上传者:
xld0932
立即下载
EMC_EMI教程资料 电磁兼容性设计 电磁干扰 经验总结
所需E币:2
时间:2019-05-24
大小:34.92MB
上传者:
xld0932
立即下载
程序设计与数据结构
所需E币:0
时间:2020-01-03
大小:25.81MB
上传者:
xld0932
立即下载
面向AWorks框架和接口的编程
所需E币:0
时间:2019-05-24
大小:11.23MB
上传者:
xld0932
立即下载
MicroC/OS-II_The Real-Time Kernel
所需E币:1
时间:2019-05-24
大小:4.1MB
上传者:
xld0932
立即下载
基于自适应模糊滑模的开关磁阻电机控制
所需E币:1
时间:2019-06-03
大小:354.55KB
上传者:
curton
立即下载
都江堰操作系统与嵌入式系统设计
所需E币:0
时间:2019-05-27
大小:4.11MB
上传者:
xld0932
立即下载
μT/OS 内核快速指南
所需E币:1
时间:2019-05-24
大小:770.68KB
上传者:
xld0932
立即下载
四轮独立驱动电动汽车转矩自适应分配控制
所需E币:1
时间:2019-05-28
大小:1.51MB
上传者:
curton
立即下载
基于大扰动电流限幅条件下虚拟同步发电机参数自适应控制
所需E币:1
时间:2019-05-27
大小:1.06MB
上传者:
curton
立即下载
海底行走机构液压系统控制策略分析
所需E币:1
时间:2019-05-27
大小:685.62KB
上传者:
curton
立即下载
基于单片机的增量式光电编码器接口的设计
所需E币:1
时间:2019-05-24
大小:174.89KB
上传者:
牛渔曦
立即下载
图灵电子与电气工程丛书-锁相环技术(第3版)
所需E币:1
时间:2019-05-24
大小:30.12MB
上传者:
牛渔曦
立即下载
MODBUS协议中文版
所需E币:1
时间:2019-05-27
大小:1.11MB
上传者:
江畔美少年
立即下载
cortex_m4内核技术手册
所需E币:3
时间:2019-05-28
大小:913.58KB
上传者:
江畔美少年
立即下载
硅可控开关元件与三端双向可控硅开关元件-瑞萨科技
所需E币:1
时间:2019-05-27
大小:587.81KB
上传者:
feiniao2008
立即下载
免费PLC资料,S7300,不能上传文件夹,只能一个一个上传了。
所需E币:0
时间:2019-05-27
大小:4.85MB
上传者:
崴
立即下载
5-S7软件基础
所需E币:0
时间:2019-05-27
大小:2.04MB
上传者:
崴
立即下载
轻轻松松学电工:电路篇
所需E币:5
时间:2019-05-27
大小:39.48MB
上传者:
牛渔曦
立即下载
从零开始学单片机C语言
所需E币:2
时间:2019-05-27
大小:31.94MB
上传者:
牛渔曦
立即下载
从零开始学电路基础
所需E币:2
时间:2019-05-27
大小:32.05MB
上传者:
牛渔曦
立即下载
从零开始学电子测量技术
所需E币:2
时间:2019-05-27
大小:31.98MB
上传者:
牛渔曦
立即下载
发明者电子设计宝典
所需E币:2
时间:2019-05-27
大小:43.62MB
上传者:
牛渔曦
立即下载
TI电源设计经验谈1-50
所需E币:0
时间:2019-05-27
大小:5.14MB
上传者:
Elearch
立即下载
高质量C++C 编程指南》
所需E币:1
时间:2019-05-27
大小:262.31KB
上传者:
feiniao2008
立即下载
s3c44b0x中文数据手册
所需E币:1
时间:2019-05-27
大小:807.08KB
上传者:
feiniao2008
立即下载
芯片制造 半导体工艺制程实用教程 第5版 404页 44.5M 高清版
所需E币:3
时间:2019-05-27
大小:43.46MB
上传者:
我的果果超可爱
立即下载
光敏电阻特性测定及其在自动照明灯中的应用
所需E币:2
时间:2019-05-27
大小:118.88KB
上传者:
feiniao2008
立即下载
基于VR技术的体育健美操仿真系统设计与实现
所需E币:3
时间:2019-05-27
大小:3.48MB
上传者:
royalark_912907664
立即下载
基于OpenCV的车牌识别
所需E币:3
时间:2019-05-27
大小:1.58MB
上传者:
royalark_912907664
立即下载
基于STM32的冷调库环境监测系统设计
所需E币:3
时间:2019-05-27
大小:1.52MB
上传者:
royalark_912907664
立即下载
基于单路PPG信号的连续血压检测算法设计
所需E币:3
时间:2019-05-27
大小:2.06MB
上传者:
royalark_912907664
立即下载
基于振动相位差的螺栓连接状态监测系统
所需E币:3
时间:2019-05-27
大小:1.66MB
上传者:
royalark_912907664
立即下载
级联型电力电子变压器不控整流环节仿真分析
所需E币:3
时间:2019-05-27
大小:1.85MB
上传者:
royalark_912907664
立即下载
宽带电磁涡旋的设计和实现
所需E币:3
时间:2019-05-27
大小:1.97MB
上传者:
royalark_912907664
立即下载
更多资源
点击登录
全站已有
276086
份文档
上传我的文档
热门资料
基础知识
电源/功率
PCB
单片机/嵌入式
FPGA
模拟/数字
处理器/DSP
传感器
测试测量
通信/RF/网络
软件/EDA/IP
采购/供应链/管理
立即报名:IIC Shanghai 2025展会暨研讨会
【直播】可替代采样电阻的电流传感器技术
详解状态监控系统的数据采集技术
一次集齐!热门下载资料Top100
推荐白皮书
1
【数据手册】ADBMS1818
2
电源监控器基础及方案设计
3
智能楼宇工业以太网设计方案
4
IO-Link工业智能工厂传感器的设计考虑因素
5
定制连接器的创新解决方案
6
优化机器人性能的创新连接器技术
7
面向高性能伺服驱动器的可持续运动控制解决方案
8
揭秘支持现代工业4.0的制造执行系统 MES
热门专题
1
常用封装尺寸资料
2
单片机管理技术
3
一次集齐!2023热门下载资料Top100
4
单片机管理技术
5
电源资料
6
DSP控制资料的介绍
7
关于嵌入式开发必备的综合性资料
8
关于CPLD及EDA设计资料集合
下载排行榜
本周
本月
本年
用户贡献榜
本周
本月
本年
EE直播间
更多
精准捕获瞬态信号,掌控复杂射频环境 – 实时频谱分析与录制回放
直播时间: 04月10日 10:00
利用高性能源表和强大的软件, 实现半导体参数的测试和分析
直播时间: 04月17日 10:00
在线研讨会
更多
MAXQ™ Power转换器架构:性能零浪费
多物理场仿真在半导体制程中的应用
迈来芯新一代经济型热成像技术:赋能电力电子过热保护与智能应用温度监控
ADI 应用于电池管理系统 (BMS) 的电芯监测解决方案
×
举报
报错
恶意重复上传
无法下载或打开失败
资源不完整或内容不详
恶意重复上传骗E币
资源E币售价虚高
标题与资源内容不符
含反动色情暴力或病毒
广告垃圾内容
版权问题,侵犯版权
其他
举报说明
上传
本网页已闲置超过10分钟,按键盘任意键或点击空白处,即可回到网页
X
最新资讯
AI爆发将催生“新物种”:EDA/IP企业眼中的新机遇
英特尔新战略:AI驱动、软件2.0与代工生态的全面布局
电力电子科学笔记:电子学中的SDE框架
碳化硅技术赋能EA10000系列电源的技术解析与优势对比
传高通计划收购Alphawave,强化数据中心芯片的互连能力