Méthodes Formelles, Modèles et Langages | LIG - Laboratoire d'Informatique de Grenoble

Méthodes Formelles, Modèles et Langages

Équipes du LIG : 
Chargés de mission de l'axe : 
Les équipes de l'axe étudient les concepts, formalismes, techniques et outils permettant la description, l'analyse et le raisonnement sur des systèmes complexes, afin d'obtenir des systèmes a la fois plus riches en fonctionnalités, plus robustes, plus surs et plus efficaces.
Mots clés : 
S'abonner à RSS - Méthodes Formelles, Modèles et Langages