Paper on Model-Based Assurance Cases

The paper "Weaving an Assurance Case from Design: A Model-Based Approach", authored by team members Richard Hawkins and Tim Kelly with colleagues from the University of York, has been accepted at the…Continue

Started Oct 24, 2014