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

Fang Yan, Simon David Foster, Ibrahim Habli, Ran Wei

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Search results