2024年8月20日
星期二
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
TAMARIN
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
黄文超
作品数:59
被引量:49
H指数:5
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:形式化验证 形式化建模 合约 形式化建模与验证 移动终端
熊焰
作品数:154
被引量:539
H指数:10
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:无线传感器网络 形式化验证 移动自组网 移动代理 WSN
赵宇
作品数:37
被引量:85
H指数:5
供职机构:解放军信息工程大学
研究主题:网络功能 在线社会网络 宽带移动 密码协议 信令
陈晶
作品数:14
被引量:12
H指数:3
供职机构:教育部
研究主题:区块链 纳米结构脂质载体 高效液相色谱法 交易 可扩展性
杜瑞颖
作品数:170
被引量:318
H指数:10
供职机构:武汉大学
研究主题:信息安全 存储开销 无线传感器网络 密文检索 隐私保护
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张