![](/statics/img/blank.png)
Interactive BDD Environment 1.1
许可: 免费 文件大小: N/A
用户评分: 3.0/5 - 1 评分
请稍候,您的下载链接正在检测恶意内容。
您将能够在 5 秒内下载。
您将能够在 5 秒内下载。
关于 Interactive BDD Environment
IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 (ROBD)。它被设计为一个学习工具,虽然它是有用的,每当你需要操作BDD互动和
IBEN 是交互式 BDD 环境。它允许您声明、操作和可视化缩减的有序二进制决策图 (ROBD)。它被设计为一个学习工具,虽然它是有用的,每当你需要操作BDD互动和