SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Catherine Oriat; Roland Groz; Emmanuel Perrier

Communication dans un congrès

SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Catherine Oriat ¹ Roland Groz ¹ Emmanuel Perrier ¹

1 VASCO [2016-2019] - Validation de Systèmes, Composants et Objets logiciels [2016-2019]

LIG - Laboratoire d'Informatique de Grenoble

Type de document :

Communication dans un congrès

Domaine :

Informatique [cs] / Informatique et langage [cs.CL]

Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-01415892
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 16:59:42
Dernière modification le : mardi 6 octobre 2020 - 16:20:09

SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Identifiants

Collections

Citation

Exporter

Métriques

203

SIMPA - Simpa Infers Models Pretty Automatically (Outils)

Identifiants

Collections

Citation

Exporter

Partager

Métriques

203