3 datasets found

This thesis presents a novel approach for modelling safety critical systems which takes into account several failure modes both for components and the global system....

Projet COQ

In this report, we presented an extension of robdds that is able to accommodate certain dependencies among their (Boolean) variables. In particular, this extension...