A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems.

Marian Daun, Jennifer Brings, Thorsten Weyer

Browse the full ICSE paper archive.