基于B方法的UML类图形式化研究

相关推荐

• 基于自然推演下描述逻辑VL的形式化推理
• 论述文篇章结构的形式化
• 甘肃白银社火秧歌表演形式化特征研究
• 地理表达统一形式化研究进展
• 铁路信号联锁逻辑形式化建模研究

同分类资源 更多

• [船舶与海洋工程] 航海类专业海上实习的道路与特色
• [船舶与海洋工程] “一带一路”背景下高职院校国际化人才培养探析
• [船舶与海洋工程] 集美大学实施质量保证体系的实践与思考
• [船舶与海洋工程] 韩国三家班轮公司将合辟一条亚洲区内航线
• [船舶与海洋工程] 高职院校机械制造基础课程考试改革的实践

相关关键词