Sign in
ADSA - Association-Driven Safety Analysis to Expose Unknown Safety Issues.
Kaushik Madala
Hyunsook Do
Bastian Tenbergen
Published in:
IEEE Trans. Dependable Secur. Comput. (2024)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
fault model
control system
symbolic model checking
reliability analysis
fault tolerant
information systems
cooperative
fuzzy logic
orders of magnitude