MAURO MAZZOLINI

Type

• Persona (Classe)

Label

• MAURO MAZZOLINI (literal)
• MAURO MAZZOLINI (literal)

Partecipa a commessa

• Partecipazione a Commessa "Tecnologie abilitanti e sistemi di automazione adattativi per fabbriche orientate alla produzione personalizzata" (SP.P01.015) di MAURO MAZZOLINI nell'anno 2010 (Partecipazione a commessa)

Persona in rapporto

• Employment relationship with CNR of MAURO MAZZOLINI (Rapporto con CNR)

Autore CNR di

• An integrated framework for Model-based Design and Verification of discrete automation solutions (Contributo in atti di convegno) (Prodotto della ricerca)
• Model-Checking based Verification approach for advanced Industrial Automation solutions (Contributo in atti di convegno) (Prodotto della ricerca)
• Ambienti PC based avanzati per la progettazione e verifica del software per l'automazione (Rapporti progetti di ricerca) (Prodotto della ricerca)
• Tools per la simulazione dinamica in anello chiuso hardware in the loop dedicati (Rapporti progetti di ricerca) (Prodotto della ricerca)
• Ambienti PC based avanzati per la progettazione e verifica del software per l'automazione (Rapporti progetti di ricerca) (Prodotto della ricerca)

Coautore

• ANDREA BALLARINO (Persona)
• ANDREA CATALDO (Persona)
• EMANUELE CARPANZANO (Unità di personale interno)
• ALESSANDRO BRUSAFERRI (Unità di personale interno)

Nome

• MAURO (literal)

Cognome

• MAZZOLINI (literal)

Afferisce a

• Istituto di tecnologie industriali e automazione (ITIA) (Istituto)

Incoming links:

Coautore

• EMANUELE CARPANZANO (Unità di personale interno)
• ANDREA CATALDO (Persona)
• ALESSANDRO BRUSAFERRI (Unità di personale interno)
• ANDREA BALLARINO (Persona)

Ha afferente

• Istituto di tecnologie industriali e automazione (ITIA) (Istituto)

Partecipazione di

• Partecipazione a Commessa "Tecnologie abilitanti e sistemi di automazione adattativi per fabbriche orientate alla produzione personalizzata" (SP.P01.015) di MAURO MAZZOLINI nell'anno 2010 (Partecipazione a commessa)

Rapporto con persona

• Employment relationship with CNR of MAURO MAZZOLINI (Rapporto con CNR)

Autore CNR

• Tools per la simulazione dinamica in anello chiuso hardware in the loop dedicati (Rapporti progetti di ricerca) (Prodotto della ricerca)
• Ambienti PC based avanzati per la progettazione e verifica del software per l'automazione (Rapporti progetti di ricerca) (Prodotto della ricerca)
• Model-Checking based Verification approach for advanced Industrial Automation solutions (Contributo in atti di convegno) (Prodotto della ricerca)
• Ambienti PC based avanzati per la progettazione e verifica del software per l'automazione (Rapporti progetti di ricerca) (Prodotto della ricerca)
• An integrated framework for Model-based Design and Verification of discrete automation solutions (Contributo in atti di convegno) (Prodotto della ricerca)