Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00105367
Contributor : Christine Carvalho de Matos <>
Submitted on : Wednesday, October 11, 2006 - 7:51:33 AM
Last modification on : Thursday, June 20, 2019 - 4:26:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

108