Synthesis and verification of delf-aware computing systems
Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques...
| Main Authors: | , , , , , , , , , , , , |
|---|---|
| Format: | Book section |
| Published: |
Springer
2017
|