Extending relational model transformations to better support the verification of increasingly autonomous systems

摘要

A dissertation thesis submitted in partial fulfilment of the requirements for the award of the degree Doctor of Engineering (EngD), at Loughborough University.