Sites Inria

Forum Méthodes Formelles 2016

Méthodes formelles et sûreté de fonctionnement

Cockpit Airbus A350 © Airbus

La 6ème édition du Forum Méthodes Formelles sera retransmis le 26 janvier 2015 de 8h45 à 17h30 à Inria Grenoble - Rhône-Alpes. Ce forum est un cycle de conférences créé par le pôle Aerospace Valley afin de sensibiliser les entreprises aux méthodes formelles pour la conception de systèmes et de logiciels sûrs, en diffusant l'expérience acquise en ce domaine par les grands acteurs de l'aéronautique et de l'espace.

  • Date : 26/01/2016
  • Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre
  • Organisateurs : Cette conférence est organisée par Aerospace Valley et Minalogic, et accueillie par Inria Grenoble Rhône-Alpes.

Cet événement est une retransmission en direct de la conférence qui a lieu au LAAS-CNRS à Toulouse.


Keywords: Minalogic Preuve Méthodes formelles Aerospace Valley Systèmes critiques LAAS

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !