Login / Signup
Symbolic Fault Injection.
Daniel Larsson
Reiner Hähnle
Published in:
VERIFY (2007)
Keyphrases
</>
fault injection
java card
fault model
web services
high level
smart card