Программы sites.google.com/site/redlibtw/

- Библиотека проверки моделей/симуляций для системы реального времени с плотными моделями C с технологией CRD (Часы-Ограничения Диаграммы). Библиотека параметрического анализа для линейно-гибридных систем в C с hrD (Hybrid-Re