Publication | Closed Access

Probabilistic analysis of transient events by an event tree directly extracted from operability analysis

Event ProcessingReliability EngineeringEngineeringData ScienceUncertainty QuantificationComplex Event ProcessingProbabilistic VerificationEvent TreeFormal MethodsEvent CorrelationSystems EngineeringProbability TheoryComputer ScienceOperability AnalysisEvent-driven MonitoringFormal VerificationTransient Events