Sign in

Model-based joint analysis of safety and security:Survey and identification of gaps.

Stefano M. NicolettiMarijn PeppelmanChristina KolbMariëlle Stoelinga
Published in: Comput. Sci. Rev. (2023)
Keyphrases
  • nuclear power plant
  • real time
  • neural network
  • genetic algorithm
  • learning algorithm
  • data analysis
  • information security
  • formal analysis
  • security mechanisms