Login / Signup

Model-Based Safety Analysis for Vehicle Guidance Systems.

Majdi GhadhabSebastian JungesJoost-Pieter KatoenMatthias KuntzMatthias Volk
Published in: SAFECOMP (2017)
Keyphrases
  • safety analysis
  • safety critical
  • control system
  • real time
  • distributed systems
  • learning systems
  • fault model
  • embedded systems
  • nuclear power plant
  • intelligent systems
  • formal methods
  • symbolic model checking