Sign in
Assessing safety-critical systems from operational testing: A study on autonomous vehicles.
Xingyu Zhao
Kizito Salako
Lorenzo Strigini
Valentin Robu
David Flynn
Published in:
Inf. Softw. Technol. (2020)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
autonomous vehicles
nuclear power plant
cooperative
expert systems
management system
real time
decision making
fault tolerant
support systems
structured environments