Publication | Closed Access

A repair-replacement policy for a system subject to missions of random types and random durations

Software MaintenanceReliability EngineeringEngineeringMaintenance PolicyRandom DurationsProbabilistic VerificationFormal MethodsAutomated RepairSystems EngineeringReplacement ProcedureRepair-replacement PolicyProbability TheoryComputer ScienceFormal VerificationRandom TypesMaintenance SchedulingOperations Research