Investigación | Proyectos Financiados
Investigación Proyectos Financiados
PROGETTO DI RICERCA "GNCS-INDAM 2014" AUTOMI, GIOCHI E LOGICHE TEMPORALI PER LA VERIFICA E LA SINTESI DI CONTROLLORI IN SISTEMI SAFETY-CRITICAL"
| Estructura | Dipartimento di Informatica/DI | |
| Responsable | LA TORRE Salvatore | |
| Tipo de Financiación | Fondos de otras actividades de investigación | |
| Finanziatori | ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" | |
| Importe financiado | 8.000,00 euro | |
| Periodo | 18 Marzo 2014 - 17 Marzo 2015 | |
| Grupo de Investigación | LA TORRE Salvatore (Coordinador del Proyecto) D'AGOSTINO GIOVANNA (Investigador) DELLA MONICA DARIO (Investigador) FAELLA Marco (Investigador) MONTANARI ANGELO (Investigador) MURANO Aniello (Investigador) NAPOLI Margherita (Investigador) PARENTE Domenico (Investigador) |
