Vérification de modèle à travers des quantités d'intérêt

Type de document :
Communication dans un congrès
Séminaire CMLA, ENS Cachan, Dec 2010, Cachan, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01588764
Contributeur : Ludovic Chamoin <>
Soumis le : samedi 16 septembre 2017 - 23:41:45
Dernière modification le : mardi 11 décembre 2018 - 01:23:49

Identifiants

  • HAL Id : hal-01588764, version 1

Citation

Ludovic Chamoin. Vérification de modèle à travers des quantités d'intérêt. Séminaire CMLA, ENS Cachan, Dec 2010, Cachan, France. 〈hal-01588764〉

Partager

Métriques

Consultations de la notice

144