Browsing Institutt for datateknologi, elektroteknologi og realfag by Journals "Algorithms"
Now showing items 1-1 of 1
-
Union Models for Model Families: Efficient Reasoning over Space and Time
(Peer reviewed; Journal article, 2023)A model family is a set of related models in a given language, with commonalities and variabilities that result from evolution of models over time and/or variation over intended usage (the spatial dimension). As the family ...