Technical Reports

Models for Software Dependability Properties Assessment and Estimation

Technical Report 03-111, March 2003

Seija Komi-Sirvio, Ioana Rus, and Patricia Costa

download

Software Dependability Properties: A Survey of Definitions, Measures and Techniques

Technical Report 03-110, January 2003

Ioana Rus, Seija Komi-Sirvio, and Patricia Costa

download