Langages modernes pour la modélisation et la vérification des syst ...
tests mécaniques destinés à corriger les déformations et les problèmes ... Collaboration : Didier Robert (Université de Nantes, Département de Mathématiques).
tests mécaniques destinés à corriger les déformations et les problèmes ... Collaboration : Didier Robert (Université de Nantes, Département de Mathématiques).