一种基于抽象模型的有限状态机分析方法和系统

被引：0

专利类型：

发明

申请号：

CN202011489589.8

申请日：

2020-12-16

公开(公告)号：

CN112527419A

公开(公告)日：

2021-03-19

发明(设计)人：

李隆赖建新朱庆李世杰

申请人：

申请人地址：

中国香港湾仔轩尼诗道8号中港大夏14楼

IPC主分类号：

G06F9448

IPC分类号：

代理机构：

深圳市中智立信知识产权代理有限公司 44427

代理人：

丁丽琴

法律状态：

公开

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2021-03-19	公开	公开
2021-04-06	实质审查的生效	实质审查的生效 IPC(主分类):G06F 9/448 申请日:20201216

共 50 条

[1]

一种基于抽象模型的有限状态机分析方法和系统 [P].

李隆 ;

赖建新 ;

朱庆 ;

李世杰 .

中国专利 :CN112527419B ,2024-04-19

[2]

基于有限状态机的情绪波动模型分析方法 [P].

林巧民 ;

潘敏 ;

赵慧娟 ;

丁楠 ;

徐康 ;

叶宁 ;

王汝传 .

中国专利 :CN109472290A ,2019-03-15

[3]

一种基于有限状态机分析的视频遗留物检测方法 [P].

赵洁 ;

陈昊 ;

武斌 ;

田清 .

中国专利 :CN112070033A ,2020-12-11

[4]

一种有限状态机的控制方法及有限状态机 [P].

宋强 ;

白俊锋 ;

王庆祥 ;

许志瑜 .

中国专利 :CN111026467B ,2020-04-17

[5]

基于有限状态机的软件架构系统 [P].

邢志成 ;

游余新 .

中国专利 :CN109491728A ,2019-03-19

[6]

一种基于有限状态机的参数依赖模型的生成方法 [P].

樊红日 ;

茅健 .

中国专利 :CN107016214A ,2017-08-04

[7]

一种基于三机通信有限状态机模型的三机表决方法 [P].

詹盼盼 ;

王菁 ;

曹雅婷 ;

孙勇 ;

韦涌泉 ;

郭坚 ;

邱骐 ;

王红光 ;

刘欣 ;

徐勇 ;

李耀楠 ;

乔梁 ;

冯承钰 ;

周波 ;

张晓峰 .

中国专利 :CN108964978A ,2018-12-07

[8]

基于有限状态机模型的全自动烫印机控制系统 [P].

任雯 ;

闻霞 .

中国专利 :CN112757767B ,2021-05-07

[9]

基于有限状态机的道路车辆拥堵判别方法 [P].

鲁帅 ;

冯瑞 ;

金城 ;

薛向阳 .

中国专利 :CN102768802A ,2012-11-07

[10]

一种基于有限状态机模型的软件回归测试方法及装置 [P].

王轶辰 ;

李佳豪 .

中国专利 :CN118170691B ,2024-11-15

← 1 2 3 4 5 →