LGM, leader européen en sûreté de fonctionnement, fiabilité et sécurité des systèmesdepuis plus de 30 ans et Numalis, start-up deeptech française spécialiste des méthodes formelles de validation des intelligences artificielles…