Merkliste 
 1 Ergebnisse 
 
1

Safety Property Attributes in Critical Systems for Requirem..:

, In: 2023 IEEE 8th International Conference On Software Engineering and Computer Systems (ICSECS),