Méthodes formelles et Véhicules autonomes

Mardi 10 octobre 2017

FMF – Véhicules autonomes & Méthodes Formelles 

Pour la 4ème année consécutive, DigiCosme coordonne les rencontres avec les industriels du logiciel embarqué, en partenariat avec DAS SE2L, les Pôles de compétitivité Aerospace-valley, MINALOGIC, Systematic et le STAE Toulouse

Ces méthodes “formelles” ne sont pas assez connues mais ont un potentiel énorme pour faire progresser la productivité & la qualité intrinsèque des développements de logiciels embarqués et de leurs outils de développement et de vérification


CEA NANO-INNOV – 8 Avenue de la Vauve – 91120 PALAISEAU
Retransmission en direct de Laas à Toulouse, à Grenoble, Rennes et Saclay.