Login / Signup

ADSA - Association-Driven Safety Analysis to Expose Unknown Safety Issues.

Kaushik MadalaHyunsook DoBastian 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