Merkliste 
 1 Ergebnisse 
 
1

A Data-Centric Approach to Generate Invariants for a Smart ..:

, In: Proceedings of the 2022 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems,