ISoLA 2018: Limassol, Cyprus

Rigorous Engineering of Collective Adaptive Systems

Verification and Validation of Distributed Systems

Cyber-Physical Systems Engineering

maintained by Schloss Dagstuhl LZI at University of Trier