![](/statics/img/blank.png)
ER Model Transformation
许可: 免费 文件大小: N/A
用户评分: 3.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 ER Model Transformation
实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。
实体和关系指定为用户定义的类型。我们将使用 PVS 证明工具。验证涉及验证类型正确性条件,该条件由类型检查器自动生成。