Publication | Closed Access

Availability of a system subject to hidden failure inspected at constant intervals with non-negligible downtime due to inspection and downtime due to repair/replacement

Software MaintenanceReliabilityHigh Availability SoftwareReliability EngineeringAvailabilityEngineeringNon-negligible DowntimeSoftware TestingVerificationConstant IntervalsSystems EngineeringHigh AvailabilityComputer ScienceSystem ReliabilityAvailability (System)Formal VerificationFailure Detection