Duflot, Marie, 1977-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 188461763 (Personal)
Permalink: http://viaf.org/viaf/188461763
Preferred Forms
Works
| Title | Sources |
|---|---|
| Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B |
|
| Distributed algorithms on parameterized rings : probabilistic and deterministic convergence proofs. |
|
| Évaluation de la fiabilité des systèmes modélisés par arbres de défaillances grâce aux techniques de satisfiabilité |
|
| Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques. |
|
