Current:
 |
Secyt-UNC, 2010: Fundamentos y Técnicas para el Análisis de Dependibilidad de Sistemas Distribuidos y Estocásticos. Funded by SeCyT - UNC (2010-2011). |
Past:
|
Secyt-UNC, 2008: Técnicas Formales para la Verificación y el Desarrollo de Sistemas Dependibles. Funded by SeCyT - UNC (2008-2009). |
|
Secyt-UNC, 2006: Técnicas Formales para la Verificación y el Desarrollo de Programas Reactivos. Funded by SeCyT - UNC (2006-2007). |
|
SeCyT-UNC, 2005: Algoritmos Probabilísticos: Fundamentos y Aplicaciones. Funded by SeCyT - UNC (2005-2006). |