Publication | Open Access

Extensions of system signatures to dependent lifetimes: Explicit expressions and interpretations

Reachability AnalysisEngineeringDependent LifetimesSystem SignaturesFormal MethodsProbability TheoryComputer ScienceRealization TheoryFinite-state SystemFormal VerificationExplicit Expressions