- Titre
- Enterprise Model Verification : A Graph-Based Approach
- Créateurs - sans rôle
- Bernard Kamsu-Foguem - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMMVincent Chapurlat - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMMFrançois Prunet - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Colloque
- CESA'03: IMACS Multiconference in Computational Engineering in Systems Applications (Lille (France))
- Identifiants
- 9944989309311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- lirmm-00269658
Acte de colloque
Enterprise Model Verification : A Graph-Based Approach
CESA'03: IMACS Multiconference in Computational Engineering in Systems Applications (Lille (France))
2003
Indicateurs
1 Consultations de la notice