基于模型检测的系统运行时验证方法、系统和计算机设备

被引：0

专利类型：

发明

申请号：

CN202110935077.8

申请日：

2021-08-16

公开(公告)号：

CN113778860A

公开(公告)日：

2021-12-10

发明(设计)人：

张连怡余立新李伟夫张晗李亚雯

申请人：

申请人地址：

100854 北京市海淀区永定路142信箱30分箱

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

北京正理专利代理有限公司 11257

代理人：

张丽

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2021-12-10	公开	公开
2021-12-28	实质审查的生效	实质审查的生效 IPC(主分类):G06F 11/36 申请日:20210816

共 50 条

[1]

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

刘颖娜 ;

符凯 .

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

[2]

统计计算机设备累计运行时间的方法 [P].

李金 ;

尹宏伟 ;

王守昊 ;

公维峰 .

中国专利 :CN101169757A ,2008-04-30

[3]

调节系统运行时间的方法、装置、计算机设备及存储介质 [P].

李晓雄 ;

郦琴华 ;

黄克康 .

中国专利 :CN111078525A ,2020-04-28

[4]

客户端异常运行时的重启方法、装置和计算机设备 [P].

曾雄伟 ;

方榆 ;

唐亚朋 ;

卢进家 .

中国专利 :CN110879757A ,2020-03-13

[5]

客户端异常运行时的重启方法、装置和计算机设备 [P].

曾雄伟 ;

方榆 ;

唐亚朋 ;

卢进家 .

中国专利 :CN110879757B ,2024-02-27

[6]

基于SQL语句运行时间的资源分配的方法及计算机设备 [P].

李昭阳 .

中国专利 :CN108052394B ,2018-05-18

[7]

计算机实现的运行时系统、保健网络、方法和计算机程序 [P].

弗拉迪斯拉夫·尤基斯 ;

卢茨·多米尼克 .

中国专利 :CN113821269A ,2021-12-21

[8]

计算机实现的运行时系统、保健网络、方法和计算机程序 [P].

弗拉迪斯拉夫·尤基斯 ;

卢茨·多米尼克 .

德国专利 :CN113821269B ,2025-05-16

[9]

一种MCU Hypervisor系统运行时间的测量方法、系统及计算机设备 [P].

吴家悦 ;

张勇 ;

於寅 ;

李腾飞 ;

许进 ;

彭易怀 .

中国专利 :CN120371665A ,2025-07-25

[10]

运行设备控制方法、装置、运行系统和计算机设备 [P].

刘明才 ;

谢浙 ;

王鑫 ;

陈梓豪 ;

谭金泳 ;

解振宁 .

中国专利 :CN118426357B ,2024-09-24

← 1 2 3 4 5 →