* CRD (Saat Kısıtlama Diyagramları) teknolojisiile C yoğun zamanlı modelleri ile gerçek zamanlı sistem için model-kontrol / simülasyon-kontrol kütüphane. * HRD (Hibrid-Kısıtlama Diyagramı) teknol ile C lineer-hibrid sistemler için parametrik analiz kütüphanesi
sürüm geçmişi
- Sürüm version 8 tarihinde gönderildi 2011-05-29
- Sürüm version_2 tarihinde gönderildi 2011-03-24
Çeşitli düzeltmeler ve güncelleştirmeler
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: sites.google.com/site/redlibtw/
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 8
- Platform: linux