REDLIB 8
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 3.0/5 - 1 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
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)