Login / Signup

A verified realization of a Dempster-Shafer based fault tree analysis.

Gabor RebnerEkaterina AuerWolfram Luther
Published in: Computing (2012)
Keyphrases