* 使用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中線性混合系統的參數分析庫