Researcher portraits, Research
Patricia Bouyer-Decitre: making safety-critical software more reliable through mathematics
… Research Patricia Bouyer-Decitre is a researcher in computer science in the field of formal methods and director of the … devices - the operation of which can have an impact on human lives. It is also important for home automation, … Research Patricia Bouyer-Decitre is a researcher in computer science in the field of formal methods and director …Published on: