您的位置： 专家智库 > >

柳欣欣

作品数：3 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 7个自动化与计算...
  • 2个交通运输工程
  • 2个农业科学
  • 2个自然科学总论
  • 2个理学
  • 1个经济管理
  • 1个机械工程
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个文化科学
  • 1个文学

主题

  • 5个形式化
  • 5个模态逻辑
  • 5个高可信
  • 4个自动机
  • 4个计算机
  • 3个形式语义
  • 3个英文
  • 3个硬件
  • 3个时序逻辑
  • 2个递归
  • 2个形式规约
  • 2个形式化方法
  • 2个形式化验证
  • 2个硬件系统
  • 2个语言
  • 2个语义
  • 2个运行控制
  • 2个软件测试
  • 2个软件系统
  • 2个实时系统

机构

  • 7个中国科学院软...
  • 2个中国科学院
  • 2个中国科学院研...
  • 1个中国科学院大...

资助

  • 7个国家自然科学...
  • 4个国家重点基础...
  • 3个国家高技术研...
  • 2个“九五”国家...
  • 1个国家科技支撑...
  • 1个国家科技重大...
  • 1个中国科学院院...
  • 1个中国科学院知...

传媒

  • 6个软件学报
  • 3个计算机学报
  • 2个计算机研究与...
  • 2个电子学报
  • 2个计算机工程与...
  • 2个中国科学（E...
  • 2个计算机科学
  • 2个科技纵览
  • 1个科学中国人
  • 1个水土保持研究
  • 1个科学通报
  • 1个科技导报
  • 1个发展研究
  • 1个自然杂志
  • 1个计算机应用与...
  • 1个控制理论与应...
  • 1个计算机应用
  • 1个计算机系统应...
  • 1个计算机仿真
  • 1个中国基础科学

地区

  • 7个北京市
共 7 条 记 录，以下是 1-7
林惠民
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
发表作品相关人物供职机构所获资助研究领域
李小燕
供职机构：中国科学院研究生院
研究主题：MODEL FISHER CANONICAL 闭包 可满足性
发表作品相关人物供职机构所获资助研究领域
陈海明
供职机构：中国科学院软件研究所
研究主题：递归函数 上下文无关语言 形式规约语言 句子生成 上下文无关文法
发表作品相关人物供职机构所获资助研究领域
李广元
供职机构：中国科学院软件研究所
研究主题：实时系统 时序逻辑 线性时序逻辑 时间自动机 合约
发表作品相关人物供职机构所获资助研究领域
喻钢
供职机构：中国科学院研究生院
研究主题：CPS CONTINUATION S变换 归约 形式语义
发表作品相关人物供职机构所获资助研究领域
张文辉
供职机构：中国科学院软件研究所
研究主题：英文 计算机网络资源 字符串 资源定位 中文域名
发表作品相关人物供职机构所获资助研究领域
张健
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 测试数据 自动驾驶系统 测试资源
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0