City Research Online - Formalism and judgement in assurance cases

Formalism and judgement in assurance cases

Strigini, L. (2004). Formalism and judgement in assurance cases. Paper presented at the Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at International Conference on Dependable Systems and Networks (DSN 2004), Jun 2004, Florence, Italy.

Publication Type:	Conference or Workshop Item (Paper)
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments:	School of Science & Technology > Computer Science > Software Reliability

[thumbnail of LS_formal_judgement_v06.pdf]

Preview

PDF
Download (23kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Metadata

Altmetric

CORE (COnnecting REpositories)

Actions (login required)

Admin Login

Creators:	Strigini, L.
Event Title:	Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at International Conference on Dependable Systems and Networks (DSN 2004)
Event Type:	Conference
Event Location:	Florence, Italy
Event Dates:	Jun 2004
Status:	Published
Refereed:	Yes
URI:	https://openaccess.city.ac.uk/id/eprint/279
Date available in CRO:	19 Sep 2011 10:19
Dates:	Date Event 2004 Published