Original language | Undefined/Unknown |
---|---|
Title of host publication | SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013 |
Publication status | Published - 2013 |
Principled Construction of Software Safety Cases
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution