CN119377090A 复杂软件系统多模态跨语言多层验证形式化集成方法 (北京航空航天大学).pdfVIP

  • 1
  • 0
  • 约3.51万字
  • 约 31页
  • 2026-09-28 发布于重庆
  • 举报

CN119377090A 复杂软件系统多模态跨语言多层验证形式化集成方法 (北京航空航天大学).pdf

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119377090A

(43)申请公布日2025.01.28

(21)申请号202411513623.9

(22)申请日2024.10.28

(71)申请人北京航空航天大学

地址1001

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档