The ASCENS Approach 2015

Refine list

showing all ?? records

Language and Verification for Collective Autonomic Systems

Modeling and Theory of Adaptive and Self-aware Systems

Engineering Techniques for Collective Autonomic Systems

Case Studies: Challenges and Feedback

a service of  Schloss Dagstuhl - Leibniz Center for Informatics