Work

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

Year: 2005

Type: article

Source: Computers in Industry

DOI: 10.1016/j.compind.2005.06.001

Authors: V. Chapurlat, B. Kamsu-Foguem, F. Prunet

Institutions: IMT Mines Alès, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: green

OpenAlex ID: W2034095786

FWCI: 2.608

Cites: 46

Cited by: 21

Related to: 10