Towards system verification : Adding meaning to models

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01930467
Contributeur : Vincent Chapurlat <>
Soumis le : jeudi 22 novembre 2018 - 08:53:34
Dernière modification le : vendredi 23 novembre 2018 - 01:17:47

Identifiants

  • HAL Id : hal-01930467, version 1

Citation

Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony. Towards system verification : Adding meaning to models. CIEL, 2014, Paris, France. 〈hal-01930467〉

Partager

Métriques

Consultations de la notice

10