Publication | Closed Access

Model-driven assessment of system dependability

Reliability EngineeringEngineeringSoftware TestingSystems EngineeringSoftware EngineeringDependability AnalysisSystem DependabilityDependable System ArchitectureSoftware AnalysisDependability ModellingSoftware DesignFormal Verification