A Formal Verification Framework and Associated Tools for Entreprise Modling : Application to UEML

Type de document :
Article dans une revue
Computers in Industry, Elsevier, 2005, V nd
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00105367
Contributeur : Christine Carvalho de Matos <>
Soumis le : mercredi 11 octobre 2006 - 07:51:33
Dernière modification le : jeudi 11 janvier 2018 - 06:14:31

Identifiants

  • HAL Id : lirmm-00105367, version 1

Collections

Citation

Vincent Chapurlat, Bernard Kamsu-Foguem, François Prunet. A Formal Verification Framework and Associated Tools for Entreprise Modling : Application to UEML. Computers in Industry, Elsevier, 2005, V nd. 〈lirmm-00105367〉

Partager

Métriques

Consultations de la notice

30