Model Based Development of Embedded Safety Critical Systems Durata: 12 mesi (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.