共 50 条
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
汽车软件模型自动化验证的方法及交互系统
被引：0
申请号：
CN202211101643.6
申请日：
2022-09-09
公开(公告)号：
CN115543781A
公开(公告)日：
2022-12-30
发明(设计)人：
殷玮
王静
夏禹
申请人：
申请人地址：
201210 上海市浦东新区祥科路268号3层301室
IPC主分类号：
G06F1136
IPC分类号：
代理机构：
上海瀚桥专利代理事务所(普通合伙) 31261
代理人：
冯珺;温猛
法律状态：
公开
国省代码：
引用
下载
收藏
法律状态
| 法律状态公告日 | 法律状态 | 法律状态信息 |
| 2022-12-30 | 公开 | 公开 |
| 2023-01-20 | 实质审查的生效 | 实质审查的生效 IPC(主分类):G06F 11/36 申请日:20220909 |