Specifying and verifying real-time self-adaptive systems.

Matteo Camilli, Angelo Gargantini, Patrizia Scandurra

Browse the full ISSRE paper archive.