Sign in
A formal verification framework and associated tools for Enterprise Modeling: Application to UEML.
Vincent Chapurlat
Bernard Kamsu-Foguem
François Prunet
Published in:
Comput. Ind. (2006)
Keyphrases
</>
formal verification
modeling framework
modeling method
enterprise architecture
information systems
model checking
data mining
reinforcement learning
probabilistic model
decision support
enterprise application