Towards a Formal Approach for Prototyping and Verifying Self-Adaptive Systems.

Juan F. Ingls-Romero, Cristina Vicente-Chicote

Browse the full CaiSE paper archive.