Merkliste 
 1 Ergebnisse 
 
1

Formal alignment of requirements models with high-level arc..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),