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

Journal article

Peer reviewed

Vincent Chapurlat, Bernard Kamsu-Foguem and François Prunet

Computers in Industry, Vol.V nd.

2005

Files and links (1)

url

Find in HALView

1 Record Views

Title: A Formal Verification Framework and Associated Tools for Entreprise Modling : Application to UEML
Creators - without role: Vincent Chapurlat - École Nationale Supérieure des Mines de Paris
Bernard Kamsu-Foguem - École Nationale Supérieure des Mines de Paris
François Prunet - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Publication Details: Computers in Industry, Vol.V nd.
Identifiers: 9943839309311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Journal article
Local Fields: lirmm-00105367