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