Search results

Articles (4)

Journals (0)

1-4 of 4 results for sequential binary decision diagram

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2023-12

An adapted component-connection method for building SBDD encoding a dynamic fault tree

Dingqing Guo, Jinkai Wang, Jian Lin [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2021-6

Haiyue Yu, Xiaoyue Wu

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2015-12

Daochuan Ge, Meng Lin, Yanhua Yang [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2009-2

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation