PUMA
cnr.isti/2012-ED-001

Collectioncnr.isti
Institutecnr.isti
ProjectIndustrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
AcronymDEPLOY
Grant agreement214158
Project typeEU_FP7
TitleiFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session
Author(s)Mazzanti, Franco    ( FMT )
Affiliation ( cnr )   CNR-ISTI, Pisa
Author(s)Trentanni, Gianluca    ( FMT )
Affiliation ( cnr )   CNR-ISTI, Pisa
E-Mail (contact)mazzanti@isti.cnr.it
Abstract languageEnglish
English abstractSubmissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
Other languageItalian
Other language abstractSottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
Document languageEnglish
Subject(s)tools for formal analysis and verification
Subject(s)formal methods
Subject_ACMD.2 SOFTWARE ENGINEERING
Subject_ACMD.2.4 Software/Program Verification
TypeED Editorial
Pages1 - 64
PublisherCNR-ISTI
Year2012
Editorial Published inConvegno
Entry date21/5/2012
Last entry date5/2/2014
CNR ID code2105 - ICT.P09.008.001 - 029 - Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata ComplessitÓ
Category typeCura/edizione Atti di convegno internazionale
DisciplineComputer Science & Engineering
Valutation area01 - Scienze matematiche e informatiche
Code/cnr.isti/2012-ED-001


Available n. 1 Documents:
Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento No access


 


For additional assistence, contact: Puma-Staff http://puma.isti.cnr.it
CNR Pub Digital Library Powered by OCTOPUS System Copyright © 2003-2004. All rights reserved by S.C.

Valid HTML 4.0 Transitional