2024年8月26日
星期一
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
彭云全
作品数:
3
被引量:1
H指数:1
供职机构:
中国科学院研究生院
更多>>
发文基金:
国家自然科学基金
国家重点基础研究发展计划
更多>>
相关领域:
自然科学总论
自动化与计算机技术
更多>>
合作作者
张文亮
中国科学院软件研究所
魏绪凯
中国科学院软件研究所
李广元
中国科学院软件研究所
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
3个
自动化与计算...
3个
自然科学总论
主题
2个
时间自动机
2个
实时系统
2个
数学模型
2个
自动机
1个
形式化
1个
形式化表示
1个
形式化方法
1个
形式化验证
1个
形式语义
1个
英文
1个
语言
1个
约束模式
1个
软件体系结构
1个
时序逻辑
1个
时序逻辑语言
1个
时钟变量
1个
体系结构
1个
体系结构描述...
1个
线性时序逻辑
1个
逻辑表示
机构
3个
中国科学院软...
1个
中国科学院研...
1个
中国科学院大...
资助
3个
国家重点基础...
3个
国家自然科学...
1个
国家高技术研...
1个
“九五”国家...
传媒
3个
计算机仿真
2个
计算机学报
1个
软件学报
1个
应用科学学报
1个
计算机工程与...
地区
3个
北京市
共
3
条 记 录,以下是 1-3
全选
清除
导出
魏绪凯
供职机构:中国科学院软件研究所
研究主题:时间自动机 数学模型 实时系统
发表作品
相关人物
供职机构
所获资助
研究领域
张文亮
供职机构:中国科学院软件研究所
研究主题:SCC
发表作品
相关人物
供职机构
所获资助
研究领域
李广元
供职机构:中国科学院软件研究所
研究主题:实时系统 时序逻辑 线性时序逻辑 时间自动机 合约
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张