Formalism and judgement in assurance cases

Strigini, L.

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 > Department of 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