Title: Model-Based Safety and Assessment
Subjects: Reliability (engineering), Safety appliances, Operating systems (computers), Industrial safety, Software engineering, Computer science, Computer software, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity