Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux … dans le domaine des méthodes formelles, et directrice du Laboratoire méthodes formelles (LMF - Université … de Markov (un type de probabilité) ou des modèles et concepts inspirés de la théorie des jeux. « Dans cette …Article publié le: ven 23/04/2021 - 09:08