Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System
Automated Software Engineering - Netherlands
doi 10.1023/b:ause.0000017742.47984.6c
Full Text
Open PDFAbstract
Available in full text
Categories
Date
April 1, 2004
Authors
Publisher
Springer Science and Business Media LLC