From Probabilistic Counterexamples via Causality to Fault Trees

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24270-0_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Probabilistic Fault Tree Synthesis Using Causality Computation

International Journal of Critical Computer-Based Systems
Computer Science
2013English

Counterexamples in Probabilistic Model Checking

English

Diagnosis Using Fault Trees Induced From Simulated Incipient Fault Case Data

1994English

European Benchmark Fault Trees

English

The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2011English

Counterexamples to Strassen’s Direct Sum Conjecture

Acta Mathematica
Mathematics
2019English

Nonabelian Counterexamples to the Noether Problem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1985English

Simulating Probabilistic by Deterministic Algebraic Computation Trees

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1985English

The Probabilistic Program Dependence Graph and Its Application to Fault Diagnosis

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy