"Formal Modeling and Verification of Self-* Systems Based on ..."

Florian Nafz et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics