Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators.

Sebastian Bergemann, Nina Benkendorf

Browse the full MODELS paper archive.