Weaving an Assurance Case from Design: A Model-Based Approach

Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly

Computer Science

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

2 results
- Last Name(descending)

Ibrahim Habli
- ibrahim.habliyork.acuk
- Computer Science - Professor
Person: Academic
Richard David Hawkins
- richard.hawkinsyork.acuk
- Computer Science - Senior Lecturer in System Safety
Person: Academic