PUMA
cnr.isti/2012-ED-001

Collezionecnr.isti
Istituzionecnr.isti
ProgettoIndustrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
AcronimoDEPLOY
Grant agreement214158
Tipo ProgettoEU_FP7
TitoloiFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session
Curatore/iMazzanti, Franco    ( FMT )
Affiliazione ( cnr )   CNR-ISTI, Pisa
Curatore/iTrentanni, Gianluca    ( FMT )
Affiliazione ( cnr )   CNR-ISTI, Pisa
E-Mail (compilatore/referente)mazzanti@isti.cnr.it
Lingua sommarioEnglish
Sommario in IngleseSubmissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
Altra Lingua sommarioItalian
Sommario in altra linguaSottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
Lingua documentoEnglish
Soggettitools for formal analysis and verification
Soggettiformal methods
Soggetto_ACMD.2 SOFTWARE ENGINEERING
Soggetto_ACMD.2.4 Software/Program Verification
TipoED Editorial
Titolo eventoiFM 2012 + ABZ 2012 Joint Conference - Posters and Tool Demo Session
Acronimo titolo eventoiFM 2012 + ABZ 2012 Posters and Tools
Data evento18-21 Giugno 2012
Luogo eventoPisa, Italy
Pubblicato daCNR-ISTI
Anno pubblicazione2012
Num. pagine (articolo)1 - 64
ISBN978-88-7958-008-3
Editoriale Pubblicato inConvegno
Data inserimento21/5/2012
Data modifica5/2/2014
ID Modulo Commessa2105 - ICT.P09.008.001 - 029 - Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata ComplessitÓ
TipologiaCura/edizione Atti di convegno internazionale
Disciplina di riferimentoComputer Science & Engineering
Area di valutazione01 - Scienze matematiche e informatiche
Codice/cnr.isti/2012-ED-001


Disponibili n. 1 Documenti:
Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento No access


 


Per ulteriori informazioni, contattare: 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