CN119577408A 一种UML到Event-B的系统性转换方法 (扬州大学).pdfVIP

  • 0
  • 0
  • 约1.77万字
  • 约 19页
  • 2026-08-25 发布于重庆
  • 举报

CN119577408A 一种UML到Event-B的系统性转换方法 (扬州大学).pdf

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119577408A

(43)申请公布日2025.03.07

(21)申请号202411632216.X

(22)申请日2024.11.15

(71)申请人扬州大学

地址225009

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档