- Titre
- Towards system verification: Adding meaning to models
- Créateurs - sans rôle
- Blazo Nastov - Laboratoire de Génie Informatique et Ingénierie de ProductionVincent Chapurlat - Laboratoire de Génie Informatique et Ingénierie de ProductionFrançois Pfister - Laboratoire de Génie Informatique et Ingénierie de ProductionChristophe Dony - Models And Reuse Engineering, Languages
- Détails de publication
- 3ème Conférence en IngénieriE du Logiciel
- Colloque
- CIEL: Conférence en IngénieriE du Logiciel (Paris, France, 10/06/2014–12/06/2014)
- Identifiants
- 9942727409311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- hal-01930467
Acte de colloque
Towards system verification: Adding meaning to models
3ème Conférence en IngénieriE du Logiciel
CIEL: Conférence en IngénieriE du Logiciel (Paris, France, 10/06/2014–12/06/2014)
2014
Indicateurs
1 Consultations de la notice