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 | |
Ordonnancement sous perturbations : cadre d'étude et approche d'évaluation de la robustesse par automates stochastiques | |
Reliability assessment of systems modeled by fault trees thanks to satisfiability techniques. | |
Scheduling under perturbations : Study framework and robustness evaluation approach based on stochastic automata. |