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]

Authors

Ludovic Apvrille

This author has not been identified. Look up 'Ludovic Apvrille' in Google

Pierre de Saqui-Sannes

This author has not been identified. Look up 'Pierre de Saqui-Sannes' in Google

Patrick Sénac

This author has not been identified. Look up 'Patrick Sénac' in Google

Christophe Lohr

This author has not been identified. Look up 'Christophe Lohr' in Google