Back to Search Start Over

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

Authors :
Chapurlat, V.
Kamsu-Foguem, B.
Prunet, F.
Source :
Computers in Industry. Feb, 2006, Vol. 57 Issue 2, p153, 14 p.
Publication Year :
2006

Subjects

Subjects :
Enterprise network
Company business management
Enterprise networks -- Management
Computer-generated environments -- Usage
Computer-generated environments -- Evaluation
Computer simulation -- Usage
Computer simulation -- Evaluation

Details

Language :
English
ISSN :
01663615
Volume :
57
Issue :
2
Database :
Gale General OneFile
Journal :
Computers in Industry
Publication Type :
Periodical
Accession number :
edsgcl.151873244

Tools

Authors Abstract Subjects Details