2025年1月30日
星期四
|
欢迎来到滨州市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
您的位置:
专家智库
>
作者详情
>
马娆
马娆
作品数:
2
被引量:0
H指数:0
供职机构:
南京大学
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
王熙
南京大学
熊文
南京大学
沈思远
南京大学
王亚楠
南京大学
李宣东
南京大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
题名
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
作者
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
中文专利
领域
1篇
自动化与计算...
主题
2篇
智能家居
2篇
实数
2篇
自动机
2篇
自动机模型
2篇
物联网
2篇
物联网系统
2篇
消去
2篇
联网
2篇
联网系统
2篇
不安
2篇
不安全
机构
2篇
南京大学
作者
2篇
卜磊
2篇
李宣东
2篇
王亚楠
2篇
沈思远
2篇
熊文
2篇
马娆
2篇
王熙
年份
1篇
2019
1篇
2016
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
相关度排序
相关度排序
被引量排序
时效排序
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊
熊文
任昕悦
王熙
马娆
沈思远
王亚楠
李宣东
一种智能家居物联网系统验证与修复的方法和装置
本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型,然后通过对混成自动机模型的路径分析,找出可能到达系统不安全的路径,然后将这些可达路径编码成SMT...
卜磊
熊文
任昕悦
王熙
马娆
沈思远
王亚楠
李宣东
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张