Groupe

AFSEC

AFSEC : Approches Formelles des Systèmes Embarqués Communicants

LaMHA

LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications

Compilation

Groupe Compilation : Communauté Française de compilation - COMPIL-FR

MTV2

MTV2 : Méthodes de test pour la validation et la vérification

RIMEL

RIMEL - Rétro-Ingénierie, Maintenance et Evolution des Logiciels

FORWAL

FORWAL - Formalismes et Outils pour la Vérification et la Validation

COSMAL

COSMAL : Composants Objets Services : Modèles, Architectures et Langages

Pages

S'abonner à RSS - Groupe