一种基于量化时序约束的智能家居运行时验证方法

被引：0

专利类型：

发明

申请号：

CN202210023752.4

申请日：

2022-01-10

公开(公告)号：

CN114676003B

公开(公告)日：

2024-10-18

发明(设计)人：

李晅松张智慧

申请人：

南京理工大学

申请人地址：

210094 江苏省南京市玄武区孝陵卫200号

IPC主分类号：

G06F11/22

IPC分类号：

代理机构：

南京理工大学专利中心 32203

代理人：

封睿

法律状态：

授权

国省代码：

江苏省南京市

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-10-18	授权	授权

共 50 条

[1]

一种基于量化时序约束的智能家居运行时验证方法 [P].

李晅松 ;

张智慧 .

中国专利 :CN114676003A ,2022-06-28

[2]

一种基于运行时验证的恶意行为监测方法 [P].

殷萍 ;

高翠芳 .

中国专利 :CN108595954A ,2018-09-28

[3]

一种基于LTLf的程序运行时验证方法 [P].

李晓锋 ;

董云卫 ;

沈博 .

中国专利 :CN119718892A ,2025-03-28

[4]

一种基于LTLf的程序运行时验证方法 [P].

李晓锋 ;

董云卫 ;

沈博 .

中国专利 :CN119718892B ,2025-10-10

[5]

基于模型的运行时验证方法及系统 [P].

刘颖娜 ;

符凯 .

中国专利 :CN115422039A ,2022-12-02

[6]

基于PPTL3的社交网络系统隐私安全运行时验证方法 [P].

王小兵 ;

刘东淼 ;

段振华 ;

赵亮 ;

田聪 ;

张南 .

中国专利 :CN105653935A ,2016-06-08

[7]

智能家居系统以及基于智能家居系统的联动控制方法 [P].

付心仪 ;

徐迎庆 ;

薛程 ;

何爽 .

中国专利 :CN115576215A ,2023-01-06

[8]

智能家居系统以及基于智能家居系统的联动控制方法 [P].

付心仪 ;

徐迎庆 ;

薛程 ;

何爽 .

中国专利 :CN115576215B ,2024-07-23

[9]

一种智能家居设备的控制方法和智能家居系统 [P].

曹树汉 .

中国专利 :CN109100950A ,2018-12-28

[10]

一种智能家居系统的协同运行方法 [P].

崔延庆 ;

裴敏 ;

刘雄威 .

中国专利 :CN119356102A ,2025-01-24

← 1 2 3 4 5 →