* Libreria di controllo/verifica della simulazione del modello per il sistema in tempo reale con modelli in tempo denso in C con tecnologia CRD (Clock-Restriction Diagrams). * Libreria di analisi parametrica per sistemi lineari-ibridi in C con tecnologia HRD (Hybrid-Restriction Diagram)
cronologia delle versioni
- Versione version 8 pubblicato il 2011-05-29
- Versione version_2 pubblicato il 2011-03-24
Diverse correzioni e aggiornamenti
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: sites.google.com/site/redlibtw/
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 8
- Piattaforma: linux