2024年8月21日
星期三
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
李广元
作品数:
11
被引量:53
H指数:4
供职机构:
中国科学院软件研究所
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
“九五”国家科技攻关计划
更多>>
相关领域:
自动化与计算机技术
自然科学总论
更多>>
合作作者
唐稚松
中国科学院软件研究所
朱雪阳
中国科学院软件研究所
晏荣杰
中国科学院软件研究所
刘春明
中国科学院软件研究所
徐雨波
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
15个
自动化与计算...
4个
经济管理
4个
文化科学
4个
自然科学总论
4个
理学
3个
机械工程
3个
电子电信
3个
建筑科学
3个
交通运输工程
2个
农业科学
2个
文学
1个
天文地球
1个
轻工技术与工...
1个
环境科学与工...
1个
语言文字
1个
兵器科学与技...
主题
11个
自动机
10个
形式化
9个
时序逻辑
8个
时间自动机
8个
实时系统
7个
时序逻辑语言
6个
模态逻辑
5个
形式语义
5个
语义
5个
软件开发
5个
软件体系结构
5个
软件系统
4个
一致性
4个
英文
4个
硬件
3个
递归
3个
调度
3个
语义一致性
2个
代理
2个
代理机构
机构
14个
中国科学院软...
5个
中国科学院
2个
暨南大学
2个
苏州大学
2个
重庆师范大学
2个
中国科学院研...
1个
贵州大学
1个
北京邮电大学
1个
福州大学
1个
河南经贸职业...
1个
南京大学
1个
重庆师范学院
1个
陕西师范大学
1个
华北电力大学
1个
中国科学院大...
资助
15个
国家自然科学...
11个
国家重点基础...
7个
国家高技术研...
5个
“九五”国家...
3个
江苏省自然科...
3个
重庆市应用基...
3个
国家科技重大...
3个
国家重点实验...
3个
江苏省高校自...
3个
江苏省普通高...
3个
苏州市科技计...
3个
重庆市自然科...
2个
国家科技支撑...
1个
福建省自然科...
1个
国防科技技术...
1个
江苏省计算机...
1个
国家大学生创...
1个
国家教育部博...
1个
江苏省高等学...
1个
中国航空科学...
传媒
13个
软件学报
6个
计算机科学
5个
计算机研究与...
5个
计算机应用
5个
计算机应用研...
4个
电子学报
4个
计算机学报
4个
计算机工程与...
4个
计算机工程与...
3个
通信学报
3个
计算机应用与...
3个
重庆师范学院...
2个
科学通报
2个
科技导报
2个
计算机工程
2个
计算机系统应...
2个
中国科学(E...
2个
计算机仿真
2个
福建电脑
2个
苏州大学学报...
地区
13个
北京市
1个
江苏省
1个
贵州省
共
15
条 记 录,以下是 1-10
全选
清除
导出
唐稚松
供职机构:中国科学院
研究主题:时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
发表作品
相关人物
供职机构
所获资助
研究领域
朱雪阳
供职机构:中国科学院软件研究所
研究主题:XYZ/ADL 软件体系结构 XYZ/E 时序逻辑 合约
发表作品
相关人物
供职机构
所获资助
研究领域
晏荣杰
供职机构:中国科学院软件研究所
研究主题:仿真测试 自动驾驶系统 软件复用 软件体系结构 软件工程
发表作品
相关人物
供职机构
所获资助
研究领域
柳欣欣
供职机构:中国科学院软件研究所
研究主题:MODEL FISHER CPS CONTINUATION CANONICAL
发表作品
相关人物
供职机构
所获资助
研究领域
张广泉
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
林惠民
供职机构:中国科学院
研究主题:互模拟 传值进程 计算机 进程代数 Π-演算
发表作品
相关人物
供职机构
所获资助
研究领域
魏绪凯
供职机构:中国科学院软件研究所
研究主题:时间自动机 数学模型 实时系统
发表作品
相关人物
供职机构
所获资助
研究领域
张文辉
供职机构:中国科学院软件研究所
研究主题:英文 计算机网络资源 字符串 资源定位 中文域名
发表作品
相关人物
供职机构
所获资助
研究领域
徐雨波
供职机构:中国科学院软件研究所
研究主题:模型检测工具 实时系统 时间自动机 可达性 数据结构
发表作品
相关人物
供职机构
所获资助
研究领域
彭云全
供职机构:中国科学院研究生院
研究主题:时间自动机 空性 模型检测工具 实时系统 时序逻辑语言
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张