Systematic Evaluation of (Safety) Assurance Cases
Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford
Topics & Concepts
NotationStructuringComputer scienceQuality assuranceSafety assuranceProcess (computing)Argument (complex analysis)Safety caseSoftware engineeringRisk analysis (engineering)Programming languageOperations managementEngineeringMathematicsChemistryArithmeticBiochemistryMedicineEconomicsExternal quality assessmentFinanceSafety Systems Engineering in AutonomySoftware Reliability and Analysis ResearchRisk and Safety Analysis