Bogor-PubSub 0.1

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

茂物-PubSub 是茂物模型检查器的一组扩展,可对发布-订阅基础结构进行精确、自动验证。

版本历史记录

  • 版本 loupe-0.1 发布于 2009-05-06
    若干修复和更新
  • 版本 loupe-0.1 发布于 2009-05-06

软件信息