2024年8月23日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家自然科学基金(60970035)
作品数:
3
被引量:7
H指数:2
相关作者:
董威
张可迪
舒绍娴
隋平
李冰鹏
更多>>
相关机构:
国防科学技术大学
中国人民解放军南京政治学院
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
6个
自动化与计算...
4个
电子电信
2个
军事
2个
文化科学
2个
理学
1个
动力工程及工...
1个
航空宇航科学...
1个
一般工业技术
主题
6个
语义
6个
监控器
4个
自动机
3个
数据结构
3个
嵌入式
3个
嵌入式操作
3个
嵌入式操作系...
3个
系统运行
3个
BÜCHI自...
3个
LINEAR
3个
LOGIC
3个
LTL
3个
参数化
3个
TEMPOR...
2个
代码
2个
代码实现
2个
调度
2个
调度器
1个
代码覆盖
1个
代码覆盖率
机构
6个
国防科学技术...
1个
武汉大学
1个
教育部
1个
中国人民解放...
1个
中国人民解放...
1个
南京政治学院
1个
国防科技大学
资助
6个
国家自然科学...
5个
国家高技术研...
2个
国家重点基础...
2个
中央级公益性...
2个
中央高校基本...
1个
湖北省自然科...
1个
国家精品课程...
1个
国家重点实验...
1个
霍英东青年教...
1个
教育部“新世...
1个
软件工程国家...
1个
深圳市基础研...
1个
载人航天领域...
传媒
6个
计算机工程与...
3个
计算机光盘软...
3个
软件学报
3个
中国计算机学...
2个
小型微型计算...
2个
计算机工程与...
2个
高等教育研究...
2个
科技信息
2个
第十六届计算...
1个
节能技术
1个
中国大学教学
1个
计算机研究与...
1个
电子学报
1个
计算机学报
1个
计算机工程
1个
计算机应用与...
1个
计算机应用
1个
计算机应用研...
1个
计算机系统应...
1个
计算机与现代...
地区
5个
湖南省
1个
江苏省
共
6
条 记 录,以下是 1-6
全选
清除
导出
董威
供职机构:国防科学技术大学
研究主题:软件工程 配置项 UML 语义 监控器
发表作品
相关人物
供职机构
所获资助
研究领域
隋平
供职机构:国防科学技术大学计算机学院
研究主题:参数化 LTL LOGIC LINEAR BÜCHI自动机
发表作品
相关人物
供职机构
所获资助
研究领域
舒绍娴
供职机构:国防科学技术大学计算机学院
研究主题:课程建设 监控器 偏微分方程 AGENT 程序切片
发表作品
相关人物
供职机构
所获资助
研究领域
赵常智
供职机构:国防科学技术大学
研究主题:监控器 自动机 LTL SIMD指令 数据流图
发表作品
相关人物
供职机构
所获资助
研究领域
张可迪
供职机构:国防科学技术大学计算机学院
研究主题:监控器 语义 系统运行 嵌入式操作系统 嵌入式操作
发表作品
相关人物
供职机构
所获资助
研究领域
李冰鹏
供职机构:南京政治学院
研究主题:MODBUS/TCP协议 MODBUS COM TCP 自动识别
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张