Programmes par sites.google.com/site/redlibtw/

* Bibliothèque de vérification des modèles/simulation-vérification pour le système en temps réel avec des modèles en temps dense en C avec la technologie CRD (Clock-Restriction Diagrams). * Bibliothèque d’analyse paramétrique