Commande garantie pour le contrôle et la prévention de l'endommagement des structures
1 : Université Paris-Saclay, CentraleSupélec, ENS Paris-Saclay, CNRS, LMPS - Laboratoire de Mécanique Paris-Saclay
Ecole Normale Supérieure Paris-Saclay, CNRS, CentraleSupélec, UPMC, Univ Paris Su, Centre National de la Recherche Scientifique - CNRS
91190, Gif-sur-Yvette, France -
France
2 : Laboratoire Méthodes Formelles
(LMF)
Institut National de Recherche en Informatique et en Automatique, CentraleSupélec, Université Paris-Saclay, Centre National de la Recherche Scientifique, Ecole Normale Supérieure Paris-Saclay
4, avenue des Sciences, 91190, Gif-sur-Yvette -
France