Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Patricia Bouyer-Decitre: making safety-critical software more reliable … science in the field of formal methods and director of the “Laboratoire méthodes formelles” (Formal methods laboratory) … Markov processes (a type of probability) or models and concepts inspired by game theory. “The challenges are many …Published on: Fri 23/04/2021 - 09:08