Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems.

Thomas Gthel, Nils Jhnig, Simon Seif

Browse the full ICFEM paper archive.