Browsing NTNU Open by Author "Stünkel, Patrick"
Now showing items 1-1 of 1
-
Behavioral consistency in multi-modeling
Kräuter, Tim Oliver; König, Harald; Rutle, Adrian; Lamo, Yngve; Stünkel, Patrick (Journal article; Peer reviewed, 2023)Multiple heterogeneous interacting systems are needed to realize the requirements of complex domains. Describing the interactions between these systems and checking their global behavioral consistency is a general, well-known ...