ER Model Transformation
軟體性質： 免費 檔案大小： N/A
使用者評分： 3.0/5 - 1 評分
請稍候，您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 ER Model Transformation
實體和關係指定為使用者定義的類型。我們將使用 PVS 證明工具。驗證涉及驗證類型正確性條件，該條件由類型檢查器自動生成。
實體和關係指定為使用者定義的類型。我們將使用 PVS 證明工具。驗證涉及驗證類型正確性條件，該條件由類型檢查器自動生成。