* 使用CRD(时钟限制图)技术的C级密集时间模型的实时系统模型检查/模拟检查库。* 具有HRD(混合限制图)技术C中线性混合系统的参数分析库
版本历史记录
- 版本 version 8 发布于 2011-05-29
{*} 若干修复和更新 - 版本 version_2 发布于 2011-03-24
软件信息
- 软件分类: 发展 > 其他
- 发布者: sites.google.com/site/redlibtw/
- 许可: 免费
- 价格: N/A
- 版本: 8
- 适用平台: linux
* 使用CRD(时钟限制图)技术的C级密集时间模型的实时系统模型检查/模拟检查库。* 具有HRD(混合限制图)技术C中线性混合系统的参数分析库