Publication | Closed Access

A functional failure reasoning methodology for evaluation of conceptual system architectures

ReliabilitySoftware Architecture ModelingReliability EngineeringEngineeringArchitecture AnalysisConceptual DesignConceptual System ArchitecturesAutomated ReasoningSoftware TestingDesignFormal MethodsSystems EngineeringSoftware EngineeringSystem SoftwareFunctional FailureSoftware ArchitectureSoftware DesignSystem Specification