2024年8月15日
星期四
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
国家高技术研究发展计划(2001AA113200)
作品数:
5
被引量:44
H指数:3
相关作者:
张广泉
戎玫
唐稚松
黄正宝
李广元
更多>>
相关机构:
苏州大学
中国科学院软件研究所
暨南大学
更多>>
发文基金:
国家高技术研究发展计划
国家自然科学基金
重庆市教育委员会科学技术研究项目
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
5个
自动化与计算...
3个
经济管理
3个
文化科学
2个
天文地球
2个
电子电信
2个
建筑科学
2个
理学
1个
机械工程
1个
轻工技术与工...
1个
交通运输工程
1个
环境科学与工...
1个
语言文字
1个
文学
1个
自然科学总论
1个
兵器科学与技...
主题
5个
形式化
5个
软件体系结构
5个
时序逻辑
5个
体系结构
5个
体系结构描述...
5个
线性时序逻辑
5个
描述语言
5个
结构描述语言
5个
可视化
4个
形式化方法
4个
形式化语义
4个
语言
3个
形式化描述
2个
电梯控制
2个
电梯控制系统
2个
电子商务
2个
动态交互
2个
动态软件体系...
2个
端口
2个
多维QOS
机构
5个
中国科学院软...
3个
苏州大学
2个
暨南大学
2个
中国科学院
2个
重庆师范大学
1个
北京邮电大学
1个
河南经贸职业...
1个
南京大学
1个
无锡商业职业...
1个
重庆大学
1个
重庆师范学院
1个
苏州技师学院
资助
5个
国家高技术研...
5个
国家自然科学...
3个
国家重点基础...
3个
“九五”国家...
3个
国家重点实验...
3个
江苏省高校自...
3个
重庆市教育委...
3个
重庆市自然科...
2个
江苏省计算机...
2个
江苏省自然科...
2个
重庆市应用基...
2个
国家大学生创...
2个
苏州市科技计...
2个
中国科学院计...
1个
国家教育部博...
1个
江苏省高等学...
1个
江苏省普通高...
1个
四川省教育厅...
1个
中国航空科学...
传媒
3个
计算机研究与...
3个
软件学报
3个
计算机工程与...
3个
计算机科学
2个
微计算机应用
2个
电子学报
2个
计算机学报
2个
计算机工程与...
2个
计算机工程
2个
计算机应用与...
2个
微电子学与计...
2个
计算机应用
2个
计算机应用研...
2个
重庆师范学院...
2个
计算机工程与...
2个
科技经济市场
2个
重庆工学院学...
2个
苏州大学学报...
2个
淮阴师范学院...
2个
重庆师范大学...
地区
3个
江苏省
2个
北京市
共
5
条 记 录,以下是 1-5
全选
清除
导出
张广泉
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
唐稚松
供职机构:中国科学院
研究主题:时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
发表作品
相关人物
供职机构
所获资助
研究领域
戎玫
供职机构:苏州大学
研究主题:WEB服务组合 软件体系结构 UML XYZ/ADL CPS
发表作品
相关人物
供职机构
所获资助
研究领域
黄正宝
供职机构:无锡商业职业技术学院
研究主题:形式化语义 XYZ/E 时序逻辑 UML_2.0 UML2.0
发表作品
相关人物
供职机构
所获资助
研究领域
李广元
供职机构:中国科学院软件研究所
研究主题:实时系统 时序逻辑 线性时序逻辑 时间自动机 合约
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张