REDLIB 8

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

關於 REDLIB

* 使用CRD(時鐘限制圖)技術的C級密集時間模型的即時系統模型檢查/模擬檢查庫。* 具有HRD(混合限制圖)技術C中線性混合系統的參數分析庫