Model Based Development of Embedded Safety Critical Systems Durata: 19/12/2018 - 18/12/2019 Responsabile scientifico: Massimo Violante Tipo di contratto: Contratti commerciali Strutture coinvolte DAUIN - Dipartimento di Automatica e Informatica Partner TXT E-SOLUTION S.P.A.