Salvatore LA TORRE | Progetti
Salvatore LA TORRE Progetti
1 Progetti di ricerca
Filtro
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 (Coordinatore Progetto) | |
| 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 | |
| Dettaglio |
Fonte dati U-GOV dal 1 Gennaio 2013
