Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, Epiciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Catherine Oriat 1 Roland Groz 1 Emmanuel Perrier 1 
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-01415892
Contributeur : Catherine Oriat Connectez-vous pour contacter le contributeur
Soumis le : mardi 13 décembre 2016 - 16:59:42
Dernière modification le : mardi 5 juillet 2022 - 10:06:31

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

110