Extending the verification capabilities of middleware for reliable distributed self-adaptive systems.

Marisol Garca-Valls, Diego Perez-Palacin, Raffaela Mirandola

Browse the full INDIN paper archive.