Publication | Closed Access

Availability analysis of safety critical systems using advanced fault tree and stochastic Petri net formalisms

ReliabilityPetri NetSafety-critical SystemReliability EngineeringEngineeringIndustrial EngineeringStochastic Petri NetFormal MethodsComputer EngineeringSystems EngineeringSafety Critical SystemsAdvanced Fault TreeComputer ScienceSystem ReliabilityAvailability AnalysisFormal VerificationDependability Modelling