Portrait de chercheur ou chercheuse, Recherche
Patricia Bouyer-Decitre : fiabiliser les logiciels critiques grâce aux mathématiques
… que c’est le cas, nous développons des algorithmes pour analyser leurs mécanismes. » Après ces vérifications, les … que c’est le cas, nous développons des algorithmes pour analyser leurs mécanismes. » Après ces vérifications, les …
Published on: