Publication | Open Access

Computing system signatures through reliability functions

Reliability EngineeringEngineeringReliability FunctionsProbabilistic VerificationVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer-aided VerificationComputer ScienceSystem ReliabilityFormal VerificationSystem Software