Devi abilitare JavaScript per eseguire questa applicazione
Research products
Authors
Stats
IT
|
EN
Institute
Selected 0/1
ISTI, Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (39)
1
Author
Selected 0/9
Gnesi Stefania (12)
Latella Diego (8)
Massink Mieke (8)
Paterno' Fabio (6)
Fabbrini Fabrizio (2)
Bolognesi Tommaso (1)
Di Giandomenico Felicita (1)
Lami Giuseppe (1)
Renso Chiara (1)
1
Type
Selected 0/9
Contributo in atti di convegno (17)
Articolo in rivista (7)
Rapporto tecnico (5)
Nota tecnica (3)
Altro prodotto (2)
Manuale tecnico/Guida tecnica (2)
Curatela di atti di convegno (conference proceedings) (1)
Curatela di numero monografico (di rivista o di collana) (1)
Presentazione (1)
1
Research program
Selected 0/1
ICT.P09.008.002, Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (7)
1
EU Funding Program
Selected 0/0
No values available
EU Project
Selected 0/0
No values available
Year
Selected 0/4
1994 (13)
1999 (11)
2000 (9)
2001 (6)
1
Language
Selected 0/2
Inglese (38)
Italiano (1)
1
Keyword
Software/program verification
About CNR ExploRA
Exhibition of research products
Future goals and developments
Resources
Research products
Authors
Stats
Developers
API Rest
OAI-PMH
Contacts
oapublications@cnr.it
Licensed under CC BY 4.0