Automatic Generation of Dependable Classical AUTOSAR software Durata: 27/09/2021 - 27/03/2023 Responsabile scientifico: Massimo Violante Tipo di contratto: Ricerca Commerciale Strutture coinvolte DAUIN - Dipartimento di Automatica e Informatica Partner Evidence srl