Dimitris N. Chorafas
-
A formal verification framework and associated tools for enterprise modeling: application to UEML
Computers in Industry
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML