STM Products s.r.l.

External Funding Bodies

Projects
Title	Managers	Starting date
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	11/1/13
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica	Franco Fummi	7/30/13
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007	Franco Fummi	1/1/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I)	Graziano Pravadelli	10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III)	Graziano Pravadelli	10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V)	Graziano Pravadelli	10/14/10
Creazione di un sistema automatico per la Validazione di un sistema di sviluppo di software embedded	Franco Fummi	4/9/09
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007	Franco Fummi	1/1/08

Founding numbers
Year	Number
2013	2
2011	1
2010	3
2009	1
2008	1