Correctness by construction and style preserving reconfigurations of system of systems.

Cdric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf

Browse the full SAC paper archive.