The infeasibility of quantifying the reliability of life-critical real-time software (0)

by R W Bulter, G B Finelli
Venue:IEEE Trans. on Software Engineering