Observable Semantics for Characterising Consistency Between Heterogeneous Models.

Henriette Frber, Romain Pascual, Terru Stbinger, Mattias Ulbrich

Browse the full SEFM paper archive.