Ricerca | Progetti
Ricerca Progetti
PROGETTO DI RICERCA "GNCS-INDAM 2014" AUTOMI, GIOCHI E LOGICHE TEMPORALI PER LA VERIFICA E LA SINTESI DI CONTROLLORI IN SISTEMI SAFETY-CRITICAL"
| Struttura | Dipartimento di Informatica/DI | |
| Responsabile | LA TORRE Salvatore | |
| Tipo di finanziamento | Finanziamenti da altre attività di ricerca | |
| Finanziatori | ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" | |
| Importo | 8.000,00 euro | |
| Periodo | 18 Marzo 2014 - 17 Marzo 2015 | |
| Gruppo di Ricerca | LA TORRE Salvatore (Coordinatore Progetto) D'AGOSTINO GIOVANNA (Ricercatore) DELLA MONICA DARIO (Ricercatore) FAELLA Marco (Ricercatore) MONTANARI ANGELO (Ricercatore) MURANO Aniello (Ricercatore) NAPOLI Margherita (Ricercatore) PARENTE Domenico (Ricercatore) |
