Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr. Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. Automated Software Engineering, 11(2):167-191, 2004. [doi]

Abstract

Abstract is missing.