Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases.

Fang Yan, Simon Foster, Ibrahim Habli, Ran Wei

Browse the full MODELSWARD paper archive.