Blar i Institutt for datateknologi, elektroteknologi og realfag på tidsskrift "Algorithms"
Viser treff 1-1 av 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 ...