Salvatore LA TORRE | Projects
Salvatore LA TORRE Projects
1 Funded projects
Filter
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 (Project Coordinator) | |
| 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 | |
| Detail |
Data source U-GOV dal 1 Gennaio 2013
