Sökning: "Omar Jaradat"
Hittade 2 avhandlingar innehållade orden Omar Jaradat.
1. Contracts-Based Maintenance of Safety Cases
Sammanfattning : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. System safety is a major property that shall be adequately assured to avoid any severe outcomes in safety critical systems. LÄS MER
2. Enhancing the Maintainability of Safety Cases Using Safety Contracts
Sammanfattning : Safety critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. These systems require high quality and dependability levels in them, where system safety is a major property that should be adequately assured to avoid any severe outcomes. LÄS MER