Programas por sites.google.com/site/redlibtw/

* Biblioteca de verificação de modelos/simulação para sistema em tempo real com modelos densos em C com tecnologia CRD (Clock-Restriction Diagrams). * Biblioteca de análise paramétrica para sistemas lineares-híbridos em C com