基于TLA的UML模型形式化验证 收藏 大小：220.45 KB 语言：中文版 格式：PDF文档 类别：电子信息 更新日期：2018-04-20 本站推荐：升级会员 无限下载，节约时间成本！ 关键词：验证 基于 模型 形式化 TLA 资源简介 基于TLA的UML模型形式化验证 下载地址 点击进入下载地址列表 上一篇：基于TimeMark技术的网络级数据容灾设计与实施 下一篇：基于TLD的稀疏原型目标跟踪算法
