The Need for a Weaving Model in Assurance Case Automation

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Dates:
  • Published: September 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 20 Mar 2017 11:40
Last Modified: 07 Aug 2021 23:06
Status: Published
Refereed: Yes

Download

Filename: hawkinsACVI_journalFormat.docx

Description: hawkinsACVI_journalFormat

Share / Export