Model-connected safety cases

Athanasios Retouniotis. Model-connected safety cases. PhD thesis, University of Hull, Kingston upon Hull, UK, 2020. [doi]

Abstract

Abstract is missing.