ICTCC 2014: Ho Chi Minh City, Vietnam

Formal Methods for Self-Adaptive Systems

Nature of Computation and Communication

a service of Schloss Dagstuhl - Leibniz Center for Informatics