A UML model consistency verification approach based on meta-modeling formalization.

Hugues Malgouyres, Gilles Motet

Browse the full SAC paper archive.