您的位置： 专家智库 > >

李广元

作品数：11 被引量：52H指数：4
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

合作作者

领域

  • 15个自动化与计算...
  • 4个经济管理
  • 4个文化科学
  • 4个自然科学总论
  • 4个理学
  • 3个机械工程
  • 3个电子电信
  • 3个建筑科学
  • 3个交通运输工程
  • 2个农业科学
  • 2个文学
  • 1个天文地球
  • 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页<12>
聚类工具0