Merkliste 
 1 Ergebnisse 
 
1

Minimal Critical Sequences in Model-based Safety and Securi..:

Serru, Théo ; Nguyen, Nga ; Batteux, Michel.
ACM Transactions on Cyber-Physical Systems.  7 (2023)  3 - p. 1-20 , 2023