BR-BMC

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.5/5 - ‎2 ‎评分

使用 ACTL 的有界模型检查实现信念修订算法

版本历史记录

  • 版本 N/A 发布于 2011-07-24
    若干修复和更新
  • 版本 N/A 发布于 2011-07-24

软件信息