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

* 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íbr