Assurances for Self-Adaptive Systems 2013

Refine list

showing all ?? records

Formal Verification

Models and Middleware

Failure Prediction

Assurance Techniques

a service of  Schloss Dagstuhl - Leibniz Center for Informatics