* Biblioteka kontroli modelu/symulacji dla systemu czasu rzeczywistego z modelami o gęstym czasie w C z technologią CRD (Clock-Restriction Diagrams). * Biblioteka analizy parametrycznej dla systemów liniowo-hybrydowych w C z HRD (Hybrid-Restriction Diagram) technol
historia wersji
- Wersja version 8 opublikowany na 2011-05-29
- Wersja version_2 opublikowany na 2011-03-24
Kilka poprawek i aktualizacji
Szczegóły programu
- Kategorii: Rozwoju > Innych
- Wydawca: sites.google.com/site/redlibtw/
- Licencji: Wolna
- Cena: N/A
- Wersja: 8
- Platformy: linux