Login / Signup

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

Vincent ChapurlatBernard Kamsu-FoguemFranç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