Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
SOFTWARE TESTING VERIFICATION & RELIABILITY
Rivista
Codice:
E156717
ISSN:
0960-0833
Dati Generali
Dati Generali
Pubblicazioni (8)
A contribution to the evaluation of the reliability of iterative-execution software
Articolo
A framework for automatic generation of security controller
Articolo
Assessing the risk due to software faults: Estimates of failure rate versus evidence of perfection
Articolo
Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012)
Articolo
Formal analysis of some secure procedures for certificate delivery
Articolo
Model checking fault tolerant systems
Articolo
Preventing untestedness in data-flow based testing
Articolo
Testing software components for integration: a survey of issues and techniques
Articolo
No Results Found
