You do not have permission to read complete articles.
Forum Méthodes Formelles et Cybersécurié
Author: Isabelle Huteau - Published At: 2017-01-10 06:00 - (562 Reads)
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. Rendez-nous le mardi 31 janvier 2017 à partir de 8h45 au CEA Nano-Innov - 8 Avenue de la Vauve - 91120 Palaiseau. Cette journée sera simultanément retransmise de Laas à Toulouse, à Grenoble, Rennes et Saclay. |