Verification Points for Self-adaptive Systems.
Brian J. PhillipsMark R. BlackburnPublished in: Complex Adaptive Systems (2014)
Keyphrases
- model checking
- neural network
- computing systems
- point sets
- management system
- distributed systems
- automated verification
- asynchronous circuits
- endpoints
- complex systems
- computer systems
- peer to peer
- expert systems
- three dimensional
- case study
- knowledge base
- information systems
- computer vision
- artificial intelligence
- information retrieval