UML 2.0活动图数据流语义验证及其形式化分析

0 下载量 187 浏览量 更新于2024-01-15 收藏 922KB PDF 举报
身份认证 购VIP最低享 7 折!
领优惠券(最高得80元)