Software System Safety

Embedded Software Development For Safety-Critical Systems

Instrumentation And Control Systems And Software Important To Safety For Research Reactors

System And Software Verification Using Petri Nets: For Functional Safety Of Iso-26262 Requirements

Embedded Software Development For Safety-Critical Systems, Second Edition

Reliability, Quality And Safety Of Software-Intensive Systems

A System-Theoretic Safety Engineering Approach For Software-Intensive Systems

Reliability, Quality And Safety Of Software-Intensive Systems

Safety And Reliability Of Software Based Systems

Rust Systems Programming Mastering Performance, Concurrency, And Safety For Reliable System Software: Mastering Performance, Concurrency, And Safety For Reliable System Software

Safer C: Developing Software For High-Integrity And Safety-Critical Systems

Reliability, Quality And Safety Of Software-Intensive Systems : Ifip Tc5 Wg5.4 3rd International Conference On Reliability, Quality And Safety Of Software-Intensive Systems (Encress '97), 29th-30th Ma