Login / Signup

Does Visualization Speed Up the Safety Analysis Process?

Ragaad AlTarawnehMax SteinerDavide TaibiShah Rukh HumayounPeter Liggesmeyer
Published in: SAFECOMP Workshops (2014)
Keyphrases
  • safety analysis
  • software systems
  • real time
  • decision making
  • intelligent systems
  • health care
  • symbolic model checking