ISoLA 2018: Limassol, Cyprus

Rigorous Engineering of Collective Adaptive Systems

Verification and Validation of Distributed Systems

Cyber-Physical Systems Engineering

a service of Schloss Dagstuhl - Leibniz Center for Informatics