Research | Funded Projects
Research Funded Projects
PROGETTO DI RICERCA "GNCS-INDAM 2014" AUTOMI, GIOCHI E LOGICHE TEMPORALI PER LA VERIFICA E LA SINTESI DI CONTROLLORI IN SISTEMI SAFETY-CRITICAL"
| Department | Dipartimento di Informatica/DI | |
| Principal Investigator | LA TORRE Salvatore | |
| Funding | Funds from other research activities | |
| Funders | ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" | |
| Cost | 8.000,00 euro | |
| Project duration | 18 March 2014 - 17 March 2015 | |
| Research Team | LA TORRE Salvatore (Project Coordinator) D'AGOSTINO GIOVANNA (Researcher) DELLA MONICA DARIO (Researcher) FAELLA Marco (Researcher) MONTANARI ANGELO (Researcher) MURANO Aniello (Researcher) NAPOLI Margherita (Researcher) PARENTE Domenico (Researcher) |
