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