Login / Signup

Safety Analysis for Highly Automated Driving.

Tobias Schmid
Published in: ISSRE Workshops (2018)
Keyphrases
  • safety analysis
  • nuclear power plant
  • safety critical
  • control system
  • symbolic model checking
  • fault model
  • real time
  • artificial intelligence
  • model checking