SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Catherine Oriat 1 Roland Groz 1 Emmanuel Perrier 1
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-01415892
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 16:59:42
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

  • HAL Id : hal-01415892, version 1

Collections

Citation

Catherine Oriat, Roland Groz, Emmanuel Perrier. SIMPA - Simpa Infers Models Pretty Automatically (Outils). Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France. 〈hal-01415892〉

Partager

Métriques

Consultations de la notice

153