Verification based decision-making for self-adaptive systems: a model-driven approach
From MaRDI portal
Publication:4640959
Recommendations
- scientific article; zbMATH DE number 1958165
- Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
- scientific article; zbMATH DE number 1958166
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- Model-based dependable composition of self-adaptive systems
Cited in
(7)- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- scientific article; zbMATH DE number 1958166 (Why is no real title available?)
- Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration
- Model-based dependable composition of self-adaptive systems
- A formal approach to adaptive software: continuous assurance of non-functional requirements
- scientific article; zbMATH DE number 1958165 (Why is no real title available?)
- Architecture-based resilience evaluation for self-adaptive systems
This page was built for publication: Verification based decision-making for self-adaptive systems: a model-driven approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4640959)