Back to Results
First PageMeta Content
Binary decision diagram / Model checking / Theoretical computer science / Zero-suppressed decision diagram / Directed acyclic graph / Static single assignment form / Hypergraph / Formal methods / Boolean algebra / Diagrams / Mathematics


Analytical Solutions of Large Fault Tree Models using BDD: New Techniques and Applications Olivier Nusbaumera*, Wolfgang Krögerb, and Enrico Zioc a b
Add to Reading List

Document Date: 2012-09-02 05:44:01

Open Document

File Size: 801,38 KB

Share Result on Facebook

City

Leibstadt / Cutset / Milan / Zürich / /

Company

Vertex / Emergency Core Cooling Systems / Microsoft / /

Country

Switzerland / /

/

Facility

Switzerland Swiss Federal Institute of Technology / Leibstadt Nuclear Power Plant / /

IndustryTerm

linear optimization algorithm / logic devices / quantification algorithms / a lot of useful applications / linear optimization algorithms / electrical circuit applications / quantification tools / static optimization algorithms / /

NaturalFeature

Shannon / /

OperatingSystem

Microsoft Windows / /

Organization

Swiss Federal Institute of Technology / Center of Gravity / /

Person

Olivier Nusbaumera / Wolfgang Krögerb / Enrico Zioc / Static Algorithms (Overview) / /

Position

large PSA model / as employed by the nuclear industry / internal garbage collector / /

Product

NeuralSpectrum / /

ProgrammingLanguage

C / /

Technology

INTRODUCTION The algorithms / dynamic algorithm / linear optimization algorithms / FORCE linear optimization algorithm / static optimization algorithms / quantification algorithms / Algorithm Apply Algorithm / CAD / /

SocialTag