Yan, Fang, Foster, Simon David orcid.org/0000-0002-9889-9514, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (1 more author) (2022) Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases. In: 10th International Conference on Model-Driven Engineering and Software Development. SciTePress , pp. 252-263.
Metadata
Item Type: | Proceedings Paper |
---|---|
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: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EUROPEAN COMMISSION 812788 |
Depositing User: | Pure (York) |
Date Deposited: | 04 Jan 2022 17:10 |
Last Modified: | 08 Feb 2025 00:12 |
Published Version: | https://doi.org/10.5220/0010847300003119 |
Status: | Published |
Publisher: | SciTePress |
Identification Number: | 10.5220/0010847300003119 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:182058 |
Download
Filename: MODELSWARD_2022_Model_based_AC_Generation_Camera_Ready_.pdf
Description: MODELSWARD_2022__Model_based_AC_Generation__Camera_Ready_