Login / Signup

A formal approach for specification and verification of fault injection process.

Fayçal BessayahAna R. CavalliEliane 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