An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services.
Tien-Dung CaoRichard CastanetPatrick FélixKevin ChiewPublished in: J. Softw. (2012)
Keyphrases
- web services
- expert systems
- management system
- automatic discovery
- building blocks
- formal methods
- semi automated
- business applications
- business process
- web service technology
- composition of web services
- asynchronous circuits
- data intensive
- description language
- data sets
- learning systems
- intelligent systems
- distributed systems
- web applications
- neural network