Publication | Closed Access

Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica

Safety EngineeringSafety CaseReliability EngineeringSafety AnalysesEngineeringSafety ManagementFire SafetyRisk ManagementSafety ScienceFormal MethodsSoftware AnalysisSystems EngineeringSafety CriterionInjury PreventionSafety AnalysisFormal VerificationSoftware Design