Automatic Generation of Dependable Classical AUTOSAR software Durata: 18 mesi (2023) Responsabile scientifico: Massimo Violante Tipo di contratto: Ricerca Commerciale Strutture coinvolte DAUIN - Dipartimento di Automatica e Informatica Partner Evidence srl