Sites Inria

Il y a 5 Résultats avec le mot clé : "Preuve"

airbus - MiqsPixImaging

Séminaire In'Tech

Séminaire In'Tech - Validation formelle de systèmes industriels critiques

18/04/2013

Le club de veille technologique In’ Tech, en partenariat avec CAP’TRONIC, organise une demi-journée de rencontres entre chercheurs et industriels sur le thème " Validation formelle de systèmes industriels critiques ", le jeudi 18 avril de 13h30 à 18h, à Inria Montbonnot.

Lieu : Inria Grenoble - Rhône-Alpes, Montbonnot

Mots-clés :

Accueil > Innovation > Agenda > Séminaire In'Tech - Validation formelle de systèmes industriels critiques

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles 2014

Forum Méthodes Formelles

4/02/2014

Le Forum Méthodes Formelles 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.

Lieu : Grand amphithéâtre Inria Grenoble

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles

Retrouvez le programme détaillé

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles : Le Model-Checking en action

16/10/2014

Le prochain Forum Méthodes Formelles sera retransmis le 16 octobre 2014 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.

Lieu : Inria Grenoble - Rhône-Alpes

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles : Le Model-Checking en action

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles

Forum Méthodes Formelles : test et méthodes formelles

16/06/2015

Le prochain Forum Méthodes Formelles sera retransmis le 16 Juin 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.

Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles : test et méthodes formelles

lire la suite

Cockpit Airbus A350 © Airbus

Forum Méthodes Formelles 2016

Forum Méthodes Formelles6

26/01/2016

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.

Lieu : Inria Grenoble - Rhône-Alpes, Grand Amphithéâtre

Mots-clés :

Accueil > Centre > Grenoble > Agenda > Forum Méthodes Formelles6

Lire la suite

Haut de page

Suivez Inria