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

Mon, 01 Jan 2018 00:00:00 +0100

Cédric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf:
Correctness by construction and style preserving reconfigurations of system of systems. SAC 2018: 1680-1686