Assurance Case Property Checking with MMINT-A and OCL

von Fung, Nick L. S.
Veröffentlicht in Annual Conference on Systems Engineering Research (18. : 2020 : Online) Recent trends and advances in model based systems engineering (2022)