2024年8月17日
星期六
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
朱明华
作品数:
1
被引量:3
H指数:1
供职机构:
华东师范大学软件学院上海市高可信计算重点实验室
更多>>
发文基金:
上海市教育委员会重点学科基金
上海市教育委员会创新基金
创新研究群体科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
郁文生
华东师范大学软件学院上海市高可...
钱磊
华东师范大学软件学院上海市高可...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
2个
自动化与计算...
1个
经济管理
1个
电子电信
1个
电气工程
1个
交通运输工程
1个
一般工业技术
1个
社会学
1个
理学
主题
2个
形式化
2个
形式化验证
1个
代数
1个
代数判据
1个
单输出
1个
单输入
1个
单输入单输出
1个
等价
1个
等价命题
1个
等式
1个
等式证明
1个
点传递
1个
电池
1个
电池系统
1个
电空阀
1个
电平
1个
电平变换器
1个
电器
1个
电压传感器
1个
定理
机构
2个
华东师范大学
1个
北京邮电大学
1个
北京大学
1个
清华大学
1个
四川大学
1个
中国科学院
1个
中国科学院自...
资助
2个
国家高技术研...
2个
国家重点基础...
2个
国家自然科学...
2个
创新研究群体...
2个
上海市教育委...
2个
上海市教育委...
1个
广东省科技攻...
1个
教育部跨世纪...
1个
新疆维吾尔自...
1个
中国博士后科...
1个
国家杰出青年...
1个
广东省粤港关...
1个
国家教育部博...
1个
国家攀登计划
1个
国家重点实验...
1个
上海市教育委...
1个
中国科学院海...
1个
中国科学院知...
1个
中国科学院知...
1个
中央高校基本...
传媒
2个
计算机科学
1个
电机与控制学...
1个
科学通报
1个
自动化学报
1个
中国矿业大学...
1个
北京大学学报...
1个
电力系统自动...
1个
数学物理学报...
1个
应用数学
1个
控制理论与应...
1个
四川大学学报...
1个
应用数学和力...
1个
信息与控制
1个
软件学报
1个
自然科学进展
1个
中国科学(E...
1个
大连理工大学...
1个
计算机工程与...
1个
微计算机信息
1个
公路交通科技
地区
1个
北京市
1个
上海市
共
2
条 记 录,以下是 1-2
全选
清除
导出
郁文生
供职机构:北京邮电大学电子工程学院
研究主题:机器证明 严格正实 N 数据仓库 鲁棒性分析
发表作品
相关人物
供职机构
所获资助
研究领域
钱磊
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:AADL 无线传感器网络 温度传感器 嵌入式系统 形式化验证
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张