Model Analyses Based on Semantic Differencing and Automatic Model Repair

Oliver Kautz. Model Analyses Based on Semantic Differencing and Automatic Model Repair. PhD thesis, RWTH Aachen University, Germany, 2021. [doi]

Abstract

Abstract is missing.