Generation and Verification of Executable Assurance Case by Model-based Engineering

Yan, Fang (Accepted: 2021) Generation and Verification of Executable Assurance Case by Model-based Engineering. In: 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). (In Press)

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Yan, Fang (fang.yan@york.ac.uk)
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:
  • Accepted: 27 August 2021
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: 21 Oct 2021 08:30
Last Modified: 04 Feb 2025 00:03
Status: In Press
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: Final_ISSRE_2021_Doctorial_symposium_Generation_and_Verification_of_Executable_Assurance_Case_by_Model_Based_Engineering.pdf

Description: Final ISSRE_2021_Doctorial_symposium_Generation and Verification of Executable Assurance Case by Model-Based Engineering

Export

Statistics