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

S Bergemann, N Benkendorf - Proceedings of the ACM/IEEE 27th …, 2024 - dl.acm.org
When using model-based systems engineering to develop a system with different models,
inconsistencies can occur between these models based on their information overlaps …