Sites Inria

Il y a 1 Résultats avec le mot clé : "outils de validation"

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

Haut de page

Suivez Inria