Towards system verification: Adding meaning to models

Type de document :
Communication dans un congrès
CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. 3ème Conférence en IngénieriE du Logiciel, 2014, 〈http://ciel2014.i3s.unice.fr/Ciel2014_fichiers/Page305.htm〉
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 : lundi 11 février 2019 - 18:22:02

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: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. 3ème Conférence en IngénieriE du Logiciel, 2014, 〈http://ciel2014.i3s.unice.fr/Ciel2014_fichiers/Page305.htm〉. 〈hal-01930467〉

Partager

Métriques

Consultations de la notice

26