REDLIB 8

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre REDLIB

* Biblioteca de verificação de modelos/simulação para sistema em tempo real com modelos em tempo denso em C com tecnologia CRD (Diagramas de Restrição do Relógio). * Biblioteca de análise paramétrica para sistemas linear-híbridos em C com tecnol de HRD (Diagrama de Restrição Híbrida)