![[Show/Hide Left Column]](img/icons/oleftcol.png "[Show/Hide Left Column]"){kind=icon}
Méthodes formelles et Véhicules autonomes
Author: Isabelle Huteau - Published At: 2017-09-22 15:00 - (483 Reads)
SAVE THE DATEMardi 10 octobre 2017FMF - Véhicules autonomes & Méthodes FormellesPour 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 ToulouseCes 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. En cas de problème pour vous inscrire, écrivez à contact at digicosme.fr |