Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003).
Juan Carlos AugustoMarc RoperPublished in: Softw. Test. Verification Reliab. (2003)
Keyphrases
- enterprise information systems
- information systems
- data warehouse
- databases
- business processes
- model checking
- special issue
- web services
- virtual enterprise
- business process
- verification method
- case study
- database
- formal analysis
- signature verification
- formal verification
- artificial intelligence
- temporal logic
- person identification
- asynchronous circuits
- concurrent systems
- neural network
- functional verification