Model Instantiation and Type Checking in UMLX

Edward D. Willink. Model Instantiation and Type Checking in UMLX. ECEASST, 4, 2006. [doi]

Abstract

Abstract is missing.