Login / Signup
A formal approach for specification and verification of fault injection process.
Fayçal Bessayah
Ana R. Cavalli
Eliane Martins
Published in:
ICIS (2009)
Keyphrases
</>
formal methods
fault injection
conceptual model
formal verification
information systems
low cost
data processing
anomaly detection
intrusion detection
development process
asynchronous circuits