Personensuche
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
1
Function Synthesis for Maximizing Model Counting:
, In:
?
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC) ,
10
Countermeasures Optimization in Multiple Fault-Injection Co..:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
13