BDD based analysis of parametric fault trees

D. Codetta-Raiteri

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'BDD based analysis of parametric fault trees'. Together they form a unique fingerprint.

Engineering

Keyphrases

Computer Science

Mathematics