REDLIB 8

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

acerca de REDLIB

* Biblioteca de comprobación de modelos/comprobación de simulación para el sistema en tiempo real con modelos de tiempo denso en C con tecnología CRD (Clock-Restriction Diagrams). * Biblioteca de análisis paramétrico para sistemas híbridos lineales en C con tecnología HRD (Hybrid-Restriction Diagram)