Formal specification at model-level of model-driven engineering using modelling techniques

H. K. Jnanamurthy, Frans Henskens, David J. Paul, Mark Wallis. Formal specification at model-level of model-driven engineering using modelling techniques. IJCAT, 67(4):340-350, 2021. [doi]

Abstract

Abstract is missing.