Formal Techniques for Safety-Critical Systems

System failures (engineering) Systems engineering Formal languages Software engineering Computer science Logic design Logics and Meanings of Programs Computation by Abstract Devices