Verifying GSM-Based Business Artifacts.
Pavel GonzalezAndreas GriesmayerAlessio LomuscioPublished in: ICWS (2012)
Keyphrases
- business process
- high quality
- information systems
- business processes
- business models
- knowledge management
- electronic commerce
- real world
- business intelligence
- business rules
- mobile communications
- databases
- decision making
- model checking
- return on investment
- process oriented
- end to end
- business applications
- data quality
- business environment
- mobile communication
- remote control
- database
- real time