مرکز منطقه ای اطلاع رساني علوم و فناوري - Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Title of article :

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

Author/Authors :

L. Apvrille، نويسنده , , P. de Saqui-Sannes، نويسنده , , P. Sénac and C. Lohr ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

167

To page :

191

Keywords :

formal validation , RT-LOTOS , real-time UML , Satellite , dynamic reconfiguration

Journal title :

Automated Software Engineering

Serial Year :

2004

Journal title :

Automated Software Engineering

Record number :

307127

Link To Document :