Heslington
University of York
York, YO10 5DD
United Kingdom
Safety Critical Systems Engineering, Assurance Case Development, Model Based Systems Engineering, Formal Methods, Robotics and Autonomous Systems