Login / Signup
Towards Formal Fault Injection for Safety Assessment of Automated Systems.
Ashfaq Farooqui
Behrooz Sangchoolie
Published in:
CoRR (2023)
Keyphrases
</>
fault injection
computer systems
complex systems
data mining
data management
formal methods