STM Products s.r.l.-Dip.Informatica-Università degli Studi di Verona

STM Products s.r.l.

Ente esterno

Progetti
Titolo	Responsabili	Data inizio
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model	Franco Fummi	01/11/13
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica	Franco Fummi	30/07/13
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007	Franco Fummi	01/01/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I)	Graziano Pravadelli	14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III)	Graziano Pravadelli	14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V)	Graziano Pravadelli	14/10/10
Creazione di un sistema automatico per la Validazione di un sistema di sviluppo di software embedded	Franco Fummi	09/04/09
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007	Franco Fummi	01/01/08

Numero finanziamenti
Anno	Numero
2013	2
2011	1
2010	3
2009	1
2008	1