Login / Signup

Towards Formal Fault Injection for Safety Assessment of Automated Systems.

Ashfaq FarooquiBehrooz Sangchoolie
Published in: CoRR (2023)
Keyphrases
  • fault injection
  • computer systems
  • complex systems
  • data mining
  • data management
  • formal methods