2025年2月2日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
祖佺
作品数:
3
被引量:1
H指数:1
供职机构:
同济大学软件学院
更多>>
发文基金:
国家自然科学基金
国家高技术研究发展计划
安徽省高校省级自然科学研究项目
更多>>
相关领域:
自动化与计算机技术
交通运输工程
更多>>
合作作者
张苗苗
同济大学软件学院
刘静
华东师范大学软件学院上海市高可...
张学舟
同济大学软件学院
安杰
同济大学软件学院
胡学青
宿州学院机械与电子工程学院
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
5个
自动化与计算...
3个
文化科学
3个
理学
2个
经济管理
2个
电子电信
2个
交通运输工程
2个
社会学
1个
化学工程
1个
矿业工程
1个
金属学及工艺
1个
机械工程
1个
动力工程及工...
1个
电气工程
1个
轻工技术与工...
1个
一般工业技术
主题
3个
形式化
3个
形式化方法
3个
时段
3个
实时系统
3个
自动机
3个
UPPAAL
3个
变式
2个
带权
2个
单片
2个
单片机
2个
形式化验证
2个
时段演算
2个
消去
2个
量词
2个
量词消去
1个
带宽
1个
倒扣
1个
等离子体
1个
低复杂度
1个
低压大电流
机构
3个
同济大学
2个
华东师范大学
1个
合肥工业大学
1个
宿州学院
1个
上海电力学院
1个
教育部
1个
上海大学
资助
4个
国家自然科学...
3个
国家高技术研...
2个
安徽省高等学...
2个
安徽省高校省...
1个
安徽省自然科...
1个
国家重点基础...
1个
上海市自然科...
1个
国家教育部“...
1个
国家科技重大...
1个
安徽省高校省...
1个
博士科研启动...
1个
国家级大学生...
1个
国家教育部博...
1个
湖北省高等学...
1个
上海市国际科...
1个
上海市教育委...
1个
上海市科委光...
1个
南通大学自然...
传媒
3个
软件学报
2个
制造业自动化
2个
计算机学报
2个
广州大学学报...
1个
系统工程与电...
1个
化工新型材料
1个
光电子.激光
1个
佳木斯大学学...
1个
电视技术
1个
轴承
1个
同济大学学报...
1个
光学学报
1个
计算机工程
1个
计算机应用与...
1个
计算机应用
1个
电源技术
1个
稀有金属
1个
分析试验室
1个
计算机工程与...
1个
中国科学(E...
地区
4个
上海市
1个
安徽省
共
5
条 记 录,以下是 1-5
全选
清除
导出
张苗苗
供职机构:同济大学软件学院
研究主题:变式 时段演算 时段 量词消去 量词
发表作品
相关人物
供职机构
所获资助
研究领域
刘静
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:半导体光放大器 全光波长变换 WEB服务 形式化验证 接口
发表作品
相关人物
供职机构
所获资助
研究领域
胡学青
供职机构:宿州学院
研究主题:甲基橙 行星排 机电耦合 离合器 无轨胶轮车
发表作品
相关人物
供职机构
所获资助
研究领域
安杰
供职机构:同济大学软件学院
研究主题:变式 时段 时段演算 量词消去 量词
发表作品
相关人物
供职机构
所获资助
研究领域
张学舟
供职机构:同济大学软件学院
研究主题:时间自动机 变式 UPPAAL 形式化验证 形式化方法
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张