Model-Based Generation of Hazard-Driven Arguments and Formal Verification Evidence for Assurance Cases

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication10th International Conference on Model-Driven Engineering and Software Development
Number of pages12
ISBN (Electronic)9789897585500
Publication statusPublished - 6 Feb 2022

Bibliographical note

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

Cite this