Validation of Ultrahigh Dependability for Software-Based Systems

Littlewood, B. & Strigini, L. (1993). Validation of Ultrahigh Dependability for Software-Based Systems. Communications of the ACM (CACM), 36(11), pp. 69-80. doi: 10.1145/163359.163373

Publication Type:	Article
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Departments:	School of Science & Technology > Department of Computer Science > Software Reliability
SWORD Depositor:	Symplectic Administrator

Preview

PDF
Download (74kB) | Preview

Downloads per month over past year

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Littlewood, B. Strigini, L.
Status:	Published
Refereed:	Yes
Journal or Publication Title:	Communications of the ACM (CACM)
Publisher:	Association for Computing Machinery (ACM)
ISSN:	0001-0782
e-ISSN:	1557-7317
URI:	https://openaccess.city.ac.uk/id/eprint/1251
Date available in CRO:	02 Jul 2012 08:19
Dates:	Date Event 30 November 1993 Published