Correctness by construction and style preserving reconfigurations of system of systems

Cédric Eichler, Khalil Drira, Thierry Monteil 0001, Patricia Stolf. Correctness by construction and style preserving reconfigurations of system of systems. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1680-1686, ACM, 2018. [doi]

Authors

Cédric Eichler

This author has not been identified. Look up 'Cédric Eichler' in Google

Khalil Drira

This author has not been identified. Look up 'Khalil Drira' in Google

Thierry Monteil 0001

This author has not been identified. Look up 'Thierry Monteil 0001' in Google

Patricia Stolf

This author has not been identified. Look up 'Patricia Stolf' in Google