Pôle Aerospace Valley Pôle Minalogic Pôle Systematic Pôle Images et Réseaux

Forum Méthodes Formelles

Cycle de conférences

RTRA AESE/IFSE
Groupe de Travail Embedded France

" Véhicules autonomes et méthodes formelles "



Mardi 10 Octobre 2017 Toulouse
LAAS-CNRS
Salle de Conférences
Inscription par mail

           Retransmis en direct à
      Grenoble     Inria Grenoble Rhone Alpes Informations & Inscription

      Saclay     Labex Digicosme   Informations & Inscription

      Rennes       Inria Rennes Bretagne Atlantique Informations & Inscription

Programme

Accueil Exposé Introductif Analyse formelle des concepts opérationnels Sûreté et sécurité formelle des systèmes Modélisation pour la vérification formelle Vérification formelle du code embarqué