2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
靳阳
作品数:
2
被引量:0
H指数:0
供职机构:
上海交通大学
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
蔡小娟
上海交通大学
李国强
上海交通大学
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
2个
自动化与计算...
2个
理学
1个
电子电信
1个
医药卫生
1个
文化科学
主题
2个
形式化
2个
应用软件
1个
单选
1个
单选题
1个
等价
1个
等价性
1个
电池
1个
电池管理
1个
电脑
1个
电子支付
1个
电子支付协议
1个
动画
1个
动画场景
1个
多进程
1个
形式化方法
1个
形式化分析
1个
形式化研究
1个
形式化验证
1个
异步
1个
异步通信
机构
2个
上海交通大学
资助
2个
国家自然科学...
2个
国家杰出青年...
1个
国家重点基础...
1个
浙江省科技计...
1个
国家教育部博...
1个
上海市科学技...
传媒
2个
上海交通大学...
2个
计算机应用研...
1个
计算机工程与...
1个
计算机工程
1个
计算机应用与...
1个
软件学报
1个
计算机科学
地区
2个
上海市
共
2
条 记 录,以下是 1-2
全选
清除
导出
李国强
供职机构:上海交通大学
研究主题:形式化研究 PETRI网 形式化验证 SPI演算 非交互式
发表作品
相关人物
供职机构
所获资助
研究领域
蔡小娟
供职机构:上海交通大学电子信息与电气工程学院
研究主题:安全协议 形式化 形式化分析 匿名性 保密性
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张