STM Products s.r.l.-Dip.Ingegneria per la medicina di innovazione-Università degli Studi di Verona

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

Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234

Play store Apple Store

STM Products s.r.l.