Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems.

Jennifer Brings, Marian Daun

Browse the full ICSE paper archive.