Duflot, Marie, 1977-....
VIAF ID: 188461763 (Personal)
Permalink: http://viaf.org/viaf/188461763
Preferred Forms
4xx's: Alternate Name Forms (1)
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é |
![]() |
Jeux et graphes : la théorie des graphes de 5 à 95 ans |
![]() |
Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques. |
![]() |