Title: Mathematics of dependable systems
Subjects: Electronic digital computers, Mathematical models, Reliability, Congresses, Computer software, Computer software, reliability