REDLIB 8

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

* 使用CRD(时钟限制图)技术的C级密集时间模型的实时系统模型检查/模拟检查库。* 具有HRD(混合限制图)技术C中线性混合系统的参数分析库

版本历史记录

  • 版本 version 8 发布于 2011-05-29
    {*} 若干修复和更新
  • 版本 version_2 发布于 2011-03-24

软件信息