CNR Institutional Research Information System

Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012

Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012

iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session

Mazzanti F;Trentanni G
2012

Abstract

Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
2012
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
1
64
64
CNR-ISTI
Pisa
ITALIA
Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
Grant agreement214158 Tipo ProgettoEU_FP7
tools for formal analysis and verification
formal methods
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
Sì, ma tipo non specificato
2
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Mazzanti, F; Trentanni, G
284
info:eu-repo/semantics/other
open
   Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
   DEPLOY
   FP7
   214158
04.08 Curatela di Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_214179-doc_102440.pdf

accesso aperto

Descrizione: Curatela
Tipologia: Versione Editoriale (PDF)
Dimensione 33.2 MB
Formato Adobe PDF
Visualizza/Apri
33.2 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/177997
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact